Hillenbrand, Thomas Automation of Logic, MPI for Informatics, Max Planck Society;
Weidenbach, Christoph Automation of Logic, MPI for Informatics, Max Planck Society;
MPI-I-2007-RG1-002.pdf (beliebiger Volltext), 262KB
Hillenbrand, T., & Weidenbach, C.(2007). Superposition for Finite Domains (MPI-I-2007-RG1-002). Saarbrücken, Germany: Max-Planck-Institut für Informatik.