| 1993 |
|---|
| 6 | | Hubert Bertling,
Harald Ganzinger,
Renate Schäfers,
Robert Nieuwenhuis,
Fernando Orejas:
Program Development: Completion Subsystem.
PROSPECTRA Book 1993: 460-494 |
| 1990 |
|---|
| 5 | | Hubert Bertling:
Knuth-Bendix Completion of Horn Clause Programs for Restricted Linear Resolution and Paramodulation.
CTRS 1990: 181-193 |
| 1989 |
|---|
| 4 | | Hubert Bertling,
Harald Ganzinger:
Completion-Time Optimization of Rewrite-Time Goal Solving.
RTA 1989: 45-58 |
| 1988 |
|---|
| 3 | | Hubert Bertling,
Harald Ganzinger,
Renate Schäfers:
CEC: A System for the Completion of Conditional Equational Specifications.
ESOP 1988: 378-379 |
| 1987 |
|---|
| 2 | | Hubert Bertling,
Harald Ganzinger,
Renate Schäfers:
A Systems for the Completion of Conditional Equational Specifications.
CTRS 1987: 249-250 |
| 1 | | Hubert Bertling,
Harald Ganzinger,
Hubert Baumeister:
CEC (Conditional Equations Completion).
STACS 1987: 470 |
