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

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

System Support for Modular Order-Sorted Horn Clause Specifications. - Harald Ganzinger; Renate Schäfers (ICSE, 1990)

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