Socher-Ambrosius, Rolf Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-92-224.pdf (Any fulltext), 75KB
Socher-Ambrosius, R.(1992). Completeness of resolution and superposition calculi (MPI-I-92-224). Saarbrücken: Max-Planck-Institut für Informatik.