@inproceedings{
    Niemela89:kuopio_ini,
    author = {Niemel{\"a}, Ilkka},
    publisher = "Kuopion yliopiston painatuskeskus",
    title = "Decision Problem in Autoepistemic Logic",
    booktitle = "Proceedings of the Workshop on Alternatives of Logic Programming",
    year = "1989",
    month = "May",
    address = "Kuopio, Finland",
    organization = "",
    pages = "174--188"
}
AUTHORS:
