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.