Towards an Efficient Construction of Test Sets for Deciding Ground Reducability. - Klaus Schmid; Roland Fettig (RTA, 1995)

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

Unification of Higher-Order patterns in a Simply Typed Lambda-Calculus with Finite Products and terminal Type. - Roland Fettig; Bernd Löchner (RTA, 1996)

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