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.