Weidenbach, Christoph Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-94-227.pdf (Any fulltext), 152KB
Weidenbach, C.(1994). Minimal resolution (MPI-I-94-227). Saarbrücken: Max-Planck-Institut für Informatik.