@TECHREPORT{nonnengartMPI9207,
        AUTHOR             = {Andreas Nonnengart},
        ADDRESS            = {Saarbr{\"u}cken, Germany},
        INSTITUTION        = {Max-Planck-Institute for Computer Science},
        MONTH              = {July},
        NUMBER             = {MPI-I-92-228},
        TITLE              = {First-Order Modal Logic Theorem Proving and Standard {Prolog}},
        YEAR               = {1992}
}