Nonnengart, Andreas Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-92-228.pdf (Any fulltext), 198KB
Nonnengart, A.(1992). First-order modal logic theorem proving and standard PROLOG (MPI-I-92-228). Saarbrücken: Max-Planck-Institut für Informatik.