@article{temporallogicprogramswithvariables,
  title = {Temporal Logic Programs with Variables},
  author = {Felicidad Aguado and Pedro Cabalar and Martín Diéguez and Gilberto Pérez and Concepción Vidal},
  year = {2016},
  eprint = {1609.05811},
  archivePrefix = {arXiv},
  url = {http://arxiv.org/abs/1609.05811v1},
}