@inproceedings{
    Niemela90:step,
    author = {Niemel{\"a}, Ilkka},
    publisher = "Finnish Artificial Intelligence Society",
    title = "A New Characterization of Autoepistemic Reasoning",
    booktitle = "Proceedings of the Finnish Artificial Intelligence Symposium",
    address = "Oulu, Finland",
    month = "June",
    year = "1990",
    organization = "",
    pages = "64--73"
}