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