E-Unification by Means of Tree Tuple Synchronized Grammars (1996)

by Sébastien Limet , Pierre Réty
Citations:9 - 3 self