Decision Problem in Autoepistemic Logic

Reference:

Ilkka Niemelä. Decision problem in autoepistemic logic. In Proceedings of the Workshop on Alternatives of Logic Programming, pages 174–188, Kuopio, Finland, May 1989. Kuopion yliopiston painatuskeskus.

Suggested BibTeX entry:

@inproceedings{Niemela89:kuopio,
    address = {Kuopio, Finland},
    author = {Ilkka Niemel{\"a}},
    booktitle = {Proceedings of the Workshop on Alternatives of Logic Programming},
    month = {May},
    pages = {174--188},
    publisher = {Kuopion yliopiston painatuskeskus},
    title = {Decision Problem in Autoepistemic Logic},
    year = {1989},
}