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

by S Limet, P Réty
Venue:Discrete Mathematics and Theoritical Computer Science