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.