Proof schemata in propositional calculi - Letz, Reinhold; Mayr, Klaus (Inst. für Informatik, 1990)