| 1991 | ||
|---|---|---|
| 2 | David A. Plaisted, Richard C. Potter: Term Rewriting: Some Experimental Results. J. Symb. Comput. 11(1/2): 149-180 (1991) | |
| 1988 | ||
| 1 | Richard C. Potter, David A. Plaisted: Term Rewriting: Some Experimental Results. CADE 1988: 435-453 | |
| 1 | David A. Plaisted | [1] [2] |