Generating Schemata of Resolution Proofs - Aravantinos, Vincent; Peltier, Nicolas (CoRR, 2011)