Amelia Harrison, Vladimir Lifschitz, David Pearce 0001, Agustín Valverde. Infinitary equilibrium logic and strongly equivalent logic programs. Artificial Intelligence, 246:22-33, 2017. [doi]
@article{HarrisonLPV17,
title = {Infinitary equilibrium logic and strongly equivalent logic programs},
author = {Amelia Harrison and Vladimir Lifschitz and David Pearce 0001 and Agustín Valverde},
year = {2017},
doi = {10.1016/j.artint.2017.02.002},
url = {http://dx.doi.org/10.1016/j.artint.2017.02.002},
researchr = {https://researchr.org/publication/HarrisonLPV17},
cites = {0},
citedby = {0},
journal = {Artificial Intelligence},
volume = {246},
pages = {22-33},
}