Einführung in die Markgraf Karl Refutation Procedure - Dilger, Werner (Interner Bericht. Fachbereich Informatik, 1981)