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