Bachmair, Leo Programming Logics, MPI for Informatics, Max Planck Society;
Ganzinger, Harald Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-91-208.pdf (Any fulltext), 177KB
Bachmair, L., & Ganzinger, H.(1991). Rewrite-based equational theorem proving with selection and simplification (MPI-I-91-208). Saarbrücken: Max-Planck-Institut für Informatik.