Yuliya Lierler, Vladimir Lifschitz. One More Decidable Class of Finitely Ground Programs. In Patricia M. Hill, David Scott Warren, editors, Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings. Volume 5649 of Lecture Notes in Computer Science, pages 489-493, Springer, 2009. [doi]
@inproceedings{LierlerL09,
title = {One More Decidable Class of Finitely Ground Programs},
author = {Yuliya Lierler and Vladimir Lifschitz},
year = {2009},
doi = {10.1007/978-3-642-02846-5_40},
url = {http://dx.doi.org/10.1007/978-3-642-02846-5_40},
researchr = {https://researchr.org/publication/LierlerL09},
cites = {0},
citedby = {0},
pages = {489-493},
booktitle = {Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings},
editor = {Patricia M. Hill and David Scott Warren},
volume = {5649},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-02845-8},
}