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