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. (2010). Superposition for Fixed Domains. ACM Transactions on Computational Logic, 11(4): 27, pp. 27,1-27,35. doi:10.1145/1805950.1805957.