Topologische Multisetordnungen. - Jürgen Müller 007; Joachim Steinbach (GWAI, 1986)

Effiziente Reduktionsstrategien in Termersetzunssystemen. - Jürgen Müller 007; Elvira Wagner (GWAI, 1986)

THEOPOGLES - A Theorem Prover Based on First-Order Polynominals and a Special Knuth-Bendix Procedure. - Jürgen Müller 007 (GWAI, 1987)

On the Unnecessity of Multiple Overlaps in Completion Theorem Proving. - Jürgen Müller 007; Rolf Socher-Ambrosius (GWAI, 1988)

EQTHEOPOGLES - A Completion Theorem Prover for PLIEQ. - Jörg Denzinger; Jürgen Müller 007 (GWAI, 1989)

A Resolution Calculus Extende by Equivalence. - Jürgen Müller 007; Rolf Socher-Ambrosius (GWAI, 1989)

THEOPOGLES - An efficient Theorem Prover based on Rewrite-Techniques. - Jürgen Avenhaus; Jörg Denzinger; Jürgen Müller 007 (RTA, 1989)

Workshop on Automated Reasoning. - Jürgen Müller 007; Rolf Socher-Ambrosius (Künstliche Intell., 1989)

Bargaining Agents. - Stefan Bussmann; Jürgen Müller 007 (EPIA, 1993)