@inproceedings{
    Janhunen97:lpnmr,
    editor = "Dix, JÃ¼rgen and Furbach, Ulrich and Nerode, Anil",
    author = "Janhunen, Tomi",
    publisher = "Springer-Verlag",
    title = "Separating Disbeliefs from Beliefs in Autoepistemic Reasoning",
    url = "http://dx.doi.org/10.1007/3-540-63255-7_10",
    booktitle = "Proceedings of the 4th International Conference on Logic Programming and Non-Monotonic Reasoning, LPNMR'97",
    address = "Dagstuhl, Germany",
    month = "July",
    note = "LNAI 1265",
    year = "1997",
    pages = "132--151"
}