Transformation and structuring of computer generated proofs - Lingenfelder, Christoph (1990)
Kaiserslautern, Univ., Diss., 1990