Plaisted, David Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-94-233.pdf (beliebiger Volltext), 343KB
Plaisted, D.(1994). The search efficiency of theorem proving strategies: an analytical comparison (MPI-I-94-233). Saarbrücken: Max-Planck-Institut für Informatik.