@inproceedings{
    Niemela88:step_ini,
    author = {Niemel{\"a}, Ilkka},
    publisher = "Limes ry",
    title = "Decision Procedures for Quantified Non-Monotonic Logic",
    booktitle = "Proceedings of the Finnish Artificial Intelligence Symposium",
    year = "1988",
    month = "August",
    address = "Helsinki, Finland",
    organization = "",
    pages = "418--427"
}
AUTHORS:
