A Study in the Application of Theorem Proving. - David C. Luckham; Jorge J. Morales; Joachim F. Schreiber (AISB/GI (ECAI), 1978)

Strategies for the synthesis of algorithms. - Wolfgang Bibel; Ulrich Furbach; Joachim F. Schreiber (Fachtagung über Programmiersprachen, 1978)

Horn Equational Theories and Paramodulation. - Ulrich Furbach; Steffen Hölldobler; Joachim F. Schreiber (J. Autom. Reason., 1989)

Linear paramodulation modulo equality - Ulrich Furbach; Steffen Hölldobler; Joachim F. Schreiber (Forschungsberichte, TU Munich, 1989)

Ein für Hornklauselmengen lineares, allgemeines aussagenlogisches Beweisverfahren. - Joachim F. Schreiber (Utz, 1996)

Ein für Hornklauselmengen lineares, allgemeines aussagenlogisches Beweisverfahren, 2. unveränderte Auflage. - Joachim F. Schreiber (Utz, 2019)