Bachmair, Leo Programming Logics, MPI for Informatics, Max Planck Society;
Ganzinger, Harald Programming Logics, MPI for Informatics, Max Planck Society;
MPI-95-2-009.pdf (beliebiger Volltext), 34MB
Bachmair, L., & Ganzinger, H.(1995). Ordered chaining calculi for first-order theories of binary relations (MPI-I-1995-2-009). Saarbrücken: Max-Planck-Institut für Informatik.