@inproceedings{
    Niemela88:ecai,
    author = {Niemel{\"a}, Ilkka},
    publisher = "Pitman Publishing",
    title = "Autoepistemic Predicate Logic",
    booktitle = "Proceedings of the 8th European Conference on Artificial Intelligence",
    address = {M\"unchen},
    month = "August",
    year = "1988",
    organization = "",
    pages = "595--600"
}