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). Labelled Superposition for PLTL. In N. Bjørner, & A. Voronkov (Eds.), Logic for Programming, Artificial Intelligence, and Reasoning (pp. 391-405). Berlin: Springer.