Zbigniew Lonc, Miroslaw Truszczynski
Computing Minimal Models, Stable Models, and Answer Sets
ICLP, 2003.
@inproceedings{ICLP-2003-LoncT, author = "Zbigniew Lonc and Miroslaw Truszczynski", booktitle = "{Proceedings of the 19th International Conference on Logic Programming}", doi = "10.1007/978-3-540-24599-5_15", isbn = "3-540-20642-6", pages = "209--223", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Computing Minimal Models, Stable Models, and Answer Sets}", volume = 2916, year = 2003, }