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,
}











