Decision Procedures for Quantified Non-Monotonic Logic

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},
}