Optimal Tree Contraction and Term Matching on the . . . (1995)

by Ernst W. Mayr , Ralph Werchner