Synthesis of Rewrite Programs by Higher-Order and Semantic Unification
| Authored By: | M. Hagiya |
| Paper Title: | Synthesis of Rewrite Programs by Higher-Order and Semantic Unification |
| In: | New Generation Computing |
| Number 4 Vol. 8 | |
| Publication Date: | 1991 |
| Pages: | 403-420 |