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