Yuliya Lierler, Vladimir Lifschitz
One More Decidable Class of Finitely Ground Programs
ICLP, 2009.
@inproceedings{ICLP-2009-LierlerL, author = "Yuliya Lierler and Vladimir Lifschitz", booktitle = "{Proceedings of the 25th International Conference on Logic Programming}", doi = "10.1007/978-3-642-02846-5_40", isbn = "978-3-642-02845-8", pages = "489--493", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{One More Decidable Class of Finitely Ground Programs}", volume = 5649, year = 2009, }