%0 Journal Article %1 journals/tplp/CabalarDV15 %A Cabalar, Pedro %A Diéguez, Martín %A Vidal, Concepción %D 2015 %J Theory Pract. Log. Program. %K dblp %N 4-5 %P 666-680 %T An infinitary encoding of temporal equilibrium logic. %U http://dblp.uni-trier.de/db/journals/tplp/tplp15.html#CabalarDV15 %V 15

@article{journals/tplp/CabalarDV15, added-at = {2020-02-13T00:00:00.000+0100}, author = {Cabalar, Pedro and Diéguez, Martín and Vidal, Concepción}, biburl = {https://www.bibsonomy.org/bibtex/2660c8d0cb433c620f88b99feda2e880e/dblp}, ee = {https://doi.org/10.1017/S1471068415000307}, interhash = {7b213a5a9514155043dbb91e491a2188}, intrahash = {660c8d0cb433c620f88b99feda2e880e}, journal = {Theory Pract. Log. Program.}, keywords = {dblp}, number = {4-5}, pages = {666-680}, timestamp = {2020-02-14T11:43:32.000+0100}, title = {An infinitary encoding of temporal equilibrium logic.}, url = {http://dblp.uni-trier.de/db/journals/tplp/tplp15.html#CabalarDV15}, volume = 15, year = 2015 }