Enrico Giunchiglia, Marco Maratea
On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels)
ICLP, 2005.
@inproceedings{ICLP-2005-GiunchigliaM, author = "Enrico Giunchiglia and Marco Maratea", booktitle = "{Proceedings of the 21st International Conference on Logic Programming}", doi = "10.1007/11562931_6", isbn = "3-540-29208-X", pages = "37--51", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels)}", volume = 3668, year = 2005, }