TY  - RPRT
TI  - Temporal Logic Programs with Variables
AU  - Felicidad Aguado
AU  - Pedro Cabalar
AU  - Martín Diéguez
AU  - Gilberto Pérez
AU  - Concepción Vidal
PY  - 2016
UR  - https://arxiv.org/abs/1609.05811
ID  - 1609.05811
ER  -