| |
| 2004 | ||
|---|---|---|
| 2 | EE | Alberto Oliart, Wayne Snyder: Fast algorithms for uniform semi-unification. J. Symb. Comput. 37(4): 455-484 (2004) |
| 1998 | ||
| 1 | EE | Alberto Oliart, Wayne Snyder: A Fast Algorithm for Uniform Semi-Unification. CADE 1998: 239-253 |
| 1 | Wayne Snyder | [1] [2] |