A Decision Procedure for Stratified Autoepistemic Logic

Reference:

Ilkka Niemelä and J. Rintanen. A decision procedure for stratified autoepistemic logic. In Proceedings of the Finnish Artificial Intelligence Conference, pages 202–211, Espoo, Finland, June 1992. Finnish Artificial Intelligence Society.

Suggested BibTeX entry:

@inproceedings{NR92:step,
    address = {Espoo, Finland},
    author = {Ilkka Niemel{\"a} and Rintanen, J.},
    booktitle = {Proceedings of the Finnish Artificial Intelligence Conference},
    month = {June},
    pages = {202--211},
    publisher = {Finnish Artificial Intelligence Society},
    title = {A Decision Procedure for Stratified Autoepistemic Logic},
    year = {1992},
}