Hillenbrand, Thomas Automation of Logic, MPI for Informatics, Max Planck Society;
Weidenbach, Christoph Automation of Logic, MPI for Informatics, Max Planck Society;
Hillenbrand, T., & Weidenbach, C. (2013). Superposition for Bounded Domains. In M. P. Bonacina, & M. Stickel (Eds.), Automated Reasoning and Mathematics (pp. 68-100). Berlin: Springer. doi:10.1007/978-3-642-36675-8_4.
