Bachmair, Leo Programming Logics, MPI for Informatics, Max Planck Society;
Ganzinger, Harald Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-97-2-011.pdf (Any fulltext), 589KB
Bachmair, L., & Ganzinger, H.(1997). Strict basic superposition and chaining (MPI-I-1997-2-011). Saarbrücken: Max-Planck-Institut für Informatik.