Decision Procedure for Autoepistemic Logic

Reference:

Ilkka Niemelä. Decision procedure for autoepistemic logic. In Proceedings of the 9th International Conference on Automated Deduction, pages 675–684, Argonne, USA, May 1988. Springer-Verlag.

Suggested BibTeX entry:

@inproceedings{Niemela88:cade,
    address = {Argonne, USA},
    author = {Ilkka Niemel{\"a}},
    booktitle = {Proceedings of the 9th International Conference on Automated Deduction},
    month = {May},
    pages = {675--684},
    publisher = {Springer-Verlag},
    title = {Decision Procedure for Autoepistemic Logic},
    year = {1988},
}