@inproceedings{
    JN93:kgc,
    editor = "Gottlob, Georg and Leitsch, Alexander and Mundici, Daniele",
    author = {Janhunen, Tomi and Niemel{\"a}, Ilkka},
    publisher = "Springer Verlag",
    title = "A Scheme for Weakened Negative Introspection in Autoepistemic Reasoning",
    url = "http://www.tcs.hut.fi/~ttj/publications/",
    booktitle = {Computational Logic and Proof Theory, Proceedings of the Third Kurt G{\"o}del Colloquium, KGC'93},
    address = "Brno, Czech Republic",
    month = "August",
    note = "LNCS 713",
    year = "1993",
    pages = "211--222"
}