Peter Ruzicka: Efficient Tree Pattern Unification. SOFSEM 1996: 417-424