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

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