| |
| 1989 | ||
|---|---|---|
| 2 | Siva Anantharaman, Jieh Hsiang, Jalel Mzali: SbReve2: A Term Rewriting Laboratory with (AC-) Unfailing Completion. RTA 1989: 533-537 | |
| 1986 | ||
| 1 | Jalel Mzali: Matching with Distributivity. CADE 1986: 496-505 | |
| 1 | Siva Anantharaman | [2] |
| 2 | Jieh Hsiang | [2] |