@inproceedings{
    Niemela90:jelia,
    author = {Niemel{\"a}, Ilkka},
    publisher = "Springer-Verlag",
    title = "Towards Automatic Autoepistemic Reasoning",
    booktitle = "Proceedings of the European Workshop on Logics in Artificial Intelligence---JELIA'90",
    address = "Amsterdam, The Netherlands",
    month = "September",
    year = "1990",
    organization = "",
    pages = "428--443"
}