Reference:
Ilkka Niemelä. Decision procedures for quantified non-monotonic logic. In Proceedings of the Finnish Artificial Intelligence Symposium, pages 418–427, Helsinki, Finland, August 1988. Limes ry.
Suggested BibTeX entry:
@inproceedings{Niemela88:step,
address = {Helsinki, Finland},
author = {Ilkka Niemel{\"a}},
booktitle = {Proceedings of the Finnish Artificial Intelligence Symposium},
month = {August},
pages = {418--427},
publisher = {Limes ry},
title = {Decision Procedures for Quantified Non-Monotonic Logic},
year = {1988},
}
|