Bachmair, Leo Programming Logics, MPI for Informatics, Max Planck Society;
Ganzinger, Harald Programming Logics, MPI for Informatics, Max Planck Society;
Bachmair, L., & Ganzinger, H. (1998). Strict Basic Superposition. In C. Kirchner, & H. Kirchner (Eds.), Proceedings of the 15th International Conference on Automated Deduction (CADE-98) (pp. 160-174). Berlin, Germany: Springer.