@inproceedings{
    JN93:kgc,
    author = {Janhunen, T. and Niemel{\"a}, Ilkka},
    publisher = "Springer-Verlag",
    title = "A Scheme for Weakened Negative Introspection in Autoepistemic Reasoning",
    booktitle = {Proceedings of the 3rd Kurt G{\"o}del Colloquium on Computational Logic and Proof Theory},
    address = "Brno, Czech Republic",
    month = "August",
    note = "",
    flags = "copy",
    year = "1993",
    organization = "",
    pages = "211--222"
}