Fietzke, Arnaud Luc Automation of Logic, MPI for Informatics, Max Planck Society;
Weidenbach, Christoph Automation of Logic, MPI for Informatics, Max Planck Society;
Fietzke, A. L., & Weidenbach, C. (2008). Labelled Splitting. In A. Armando, P. Baumgartner, & G. Dowek (Eds.), Automated Reasoning (pp. 459-474). Berlin: Springer.