Reference:
Ilkka Niemelä. Implementing circumscription using a tableau method. In Proceedings of the European Conference on Artificial Intelligence, pages 80–84, Budapest, Hungary, August 1996. John Wiley.
Suggested BibTeX entry:
@inproceedings{Niemela96:ecai,
address = {Budapest, Hungary},
author = {Ilkka Niemel{\"a}},
booktitle = {Proceedings of the European Conference on Artificial Intelligence},
month = {August},
pages = {80--84},
publisher = {John Wiley},
title = {Implementing Circumscription Using a Tableau Method},
year = {1996},
}
|