| |
| 1993 | ||
|---|---|---|
| 4 | Hubert Bertling, Harald Ganzinger, Renate Schäfers, Robert Nieuwenhuis, Fernando Orejas: Program Development: Completion Subsystem. PROSPECTRA Book 1993: 460-494 | |
| 1990 | ||
| 3 | Harald Ganzinger, Renate Schäfers: System Support for Modular Order-Sorted Horn Clause Specifications. ICSE 1990: 150-159 | |
| 1988 | ||
| 2 | Hubert Bertling, Harald Ganzinger, Renate Schäfers: CEC: A System for the Completion of Conditional Equational Specifications. ESOP 1988: 378-379 | |
| 1987 | ||
| 1 | Hubert Bertling, Harald Ganzinger, Renate Schäfers: A Systems for the Completion of Conditional Equational Specifications. CTRS 1987: 249-250 | |
| 1 | Hubert Bertling | [1] [2] [4] |
| 2 | Harald Ganzinger | [1] [2] [3] [4] |
| 3 | Robert Nieuwenhuis | [4] |
| 4 | Fernando Orejas | [4] |