A Systems for the Completion of Conditional Equational Specifications. - Hubert Bertling; Harald Ganzinger; Renate Schäfers (CTRS, 1987)

CEC (Conditional Equations Completion). - Hubert Bertling; Harald Ganzinger; Hubert Baumeister (STACS, 1987)

CEC: A System for the Completion of Conditional Equational Specifications. - Hubert Bertling; Harald Ganzinger; Renate Schäfers (ESOP, 1988)

Completion-Time Optimization of Rewrite-Time Goal Solving. - Hubert Bertling; Harald Ganzinger (RTA, 1989)

Knuth-Bendix Completion of Horn Clause Programs for Restricted Linear Resolution and Paramodulation. - Hubert Bertling (CTRS, 1990)

Knuth-Bendix completion of Horn clause programs for restricted linear resolution and paramodulation. - Hubert Bertling (1990)

Program Development: Completion Subsystem. - Hubert Bertling; Harald Ganzinger; Renate Schäfers; Robert Nieuwenhuis; Fernando Orejas (PROSPECTRA Book, 1993)