Horbach, Matthias Automation of Logic, MPI for Informatics, Max Planck Society;
Weidenbach, Christoph Automation of Logic, MPI for Informatics, Max Planck Society;
MPI-I-2009-RG1-004.pdf (beliebiger Volltext), 355KB
Horbach, M., & Weidenbach, C.(2009). Decidability Results for Saturation-based Model Building (MPI-I-2009-RG1-004). Saarbrücken: Max-Planck-Institut für Informatik. Retrieved from http://domino.mpi-inf.mpg.de/internet/reports.nsf/NumberView/2009-RG1-004.