Horbach, Matthias Automation of Logic, MPI for Informatics, Max Planck Society;
Weidenbach, Christoph Automation of Logic, MPI for Informatics, Max Planck Society;
Horbach, M., & Weidenbach, C. (2008). Superposition for Fixed Domains. In M. Kaminski, & S. Martini (Eds.), Computer Science Logic: 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL (pp. 293-307). Berlin: Springer.