Pedro Cabalar, Martín Diéguez, Concepción Vidal
An infinitary encoding of temporal equilibrium logic
ICLP, 2015.
@article{ICLP-J-2015-CabalarDV,
author = "Pedro Cabalar and Martín Diéguez and Concepción Vidal",
doi = "10.1017/S1471068415000307",
journal = "{Theory and Practice of Logic Programming}",
number = "4-5",
pages = "666--680",
title = "{An infinitary encoding of temporal equilibrium logic}",
volume = 15,
year = 2015,
}