Proof Profiles - Characteristic Clause Sets And Proof Transformations by Stefan Hetzl