Suda, Martin Automation of Logic, MPI for Informatics, Max Planck Society;
Weidenbach, Christoph Automation of Logic, MPI for Informatics, Max Planck Society;
Suda, M., & Weidenbach, C. (2012). A PLTL-Prover Based on Labelled Superposition with Partial Model Guidance. In B. Gramlich, D. Miller, & U. Sattler (Eds.), Automated Reasoning (pp. 537-543). Berlin: Springer.