| |
| 1995 | ||
|---|---|---|
| 4 | Dirk Dussart, Eddy Bevers, Karel De Vlaminck: Polyvariant Constructor Specialisation. PEPM 1995: 54-65 | |
| 1993 | ||
| 3 | Eddy Bevers, Johan Lewi: Proving Termination of (Conditional) Rewrite Systems. A Semantic Approach. Acta Inf. 30(6): 537-568 (1993) | |
| 1991 | ||
| 2 | Anne De Niel, Eddy Bevers, Karel De Vlaminck: Program Bifurcation for a Polymorphic Typed Functional Language. PEPM 1991: 142-153 | |
| 1990 | ||
| 1 | Eddy Bevers, Johan Lewi: Proof by Consistency in Conditional Equational Theories. CTRS 1990: 194-205 | |
| 1 | Dirk Dussart | [4] |
| 2 | Johan Lewi | [1] [3] |
| 3 | Anne De Niel | [2] |
| 4 | Karel De Vlaminck | [2] [4] |