WALDMEISTER: High Performance Equational Theorem Proving. - Arnim Buch; Thomas Hillenbrand; Roland Fettig (DISCO, 1996)

On Gaining Efficiency in Completion-Based Theorem Proving. - Thomas Hillenbrand; Arnim Buch; Roland Fettig (RTA, 1996)

WALDMEISTER - High-Performance Equational Deduction. - Thomas Hillenbrand; Arnim Buch; Roland Vogt; Bernd Löchner (J. Autom. Reason., 1997)

Substance, People, and Tools - Knowledge Management at sd&m. - Arnim Buch; Bernhard Humm (Wissensmanagement, 2005)