1. Theorem proving via general matings;Andrews;JACM,1981
2. Bibel, W.: The complete theoretical basis for the systematic proof method. Bericht ATP-6-XII 80, Projekt Beweisverfahren, Institut für Informatik, Technische Universität München (1980)
3. Bibel, W.: Matings in matrices. Proc. of German Workshop on Artificial Intelligence (J. Siekmann, ed.), Informatik Fachberichte 47, Springer, (1981) 171--187
4. Bibel, W.: Automated theorem proving. Vieweg, Verlag, Wiesbaden(book in preparation)
5. Untersuchungen über das logische Schließen;Gentzen;Mathem. Zeitschr.,1935