A unification algorithm for second-order monadic terms (1988)

by William M Farmer
Venue:Ann. Pure Appl. Logic