Joohyung Lee, Fangzhen Lin. Loop Formulas for Circumscription. In Deborah L. McGuinness, George Ferguson, editors, Proceedings of the Nineteenth National Conference on Artificial Intelligence, Sixteenth Conference on Innovative Applications of Artificial Intelligence, July 25-29, 2004, San Jose, California, USA. pages 281-286, AAAI Press / The MIT Press, 2004.
@inproceedings{LeeL04:5,
title = {Loop Formulas for Circumscription},
author = {Joohyung Lee and Fangzhen Lin},
year = {2004},
researchr = {https://researchr.org/publication/LeeL04%3A5},
cites = {0},
citedby = {0},
pages = {281-286},
booktitle = {Proceedings of the Nineteenth National Conference on Artificial Intelligence, Sixteenth Conference on Innovative Applications of Artificial Intelligence, July 25-29, 2004, San Jose, California, USA},
editor = {Deborah L. McGuinness and George Ferguson},
publisher = {AAAI Press / The MIT Press},
isbn = {0-262-51183-5},
}