Jeffrey Ward, John S. Schlipf. Answer Set Programming with Clause Learning. In Vladimir Lifschitz, Ilkka Niemelä, editors, Logic Programming and Nonmonotonic Reasoning, 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings. Volume 2923 of Lecture Notes in Computer Science, pages 302-313, Springer, 2004. [doi]
@inproceedings{WardS04,
title = {Answer Set Programming with Clause Learning},
author = {Jeffrey Ward and John S. Schlipf},
year = {2004},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2923&spage=302},
tags = {programming},
researchr = {https://researchr.org/publication/WardS04},
cites = {0},
citedby = {0},
pages = {302-313},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings},
editor = {Vladimir Lifschitz and Ilkka Niemelä},
volume = {2923},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-20721-X},
}