Suda, Martin Automation of Logic, MPI for Informatics, Max Planck Society;
Weidenbach, Christoph Automation of Logic, MPI for Informatics, Max Planck Society;
MPI-I-2012-RG1-001.pdf (beliebiger Volltext), 420KB
Suda, M., & Weidenbach, C.(2012). Labelled Superposition for PLTL (MPI-I-2012-RG1-001). Saarbrücken: Max-Planck-Institut für Informatik.