Fietzke, Arnaud Automation of Logic, MPI for Informatics, Max Planck Society;
Weidenbach, Christoph Automation of Logic, MPI for Informatics, Max Planck Society;
Fietzke, A., & Weidenbach, C. (2009). Labelled Splitting. Annals of Mathematics and Artificial Intelligence, 55(1-2), 3-33. doi:10.1007/s10472-009-9150-9.