| |
| 1996 | ||
|---|---|---|
| 2 | Sugwoo Byun, Richard Kennaway, M. Ronan Sleep: Lambda-Definable Term rewriting Systems. ASIAN 1996: 106-115 | |
| 1995 | ||
| 1 | Sugwoo Byun, Richard Kennaway, M. Ronan Sleep: Transformation of Orthogonal Term Rewriting Systems. ASIAN 1995: 73-87 | |
| 1 | Richard Kennaway | [1] [2] |
| 2 | M. Ronan Sleep | [1] [2] |