Weidenbach, Christoph Automation of Logic, MPI for Informatics, Max Planck Society;
Lev-Ami, T., Weidenbach, C., Reps, T., & Sagiv, M. (2007). Labelled Clauses. In F. Pfenning (Ed.), Automated Deduction - CADE-21: 21st International Conference on Automated Deduction (pp. 311-327). Berlin, Germany: Springer.