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

by W M Farmer
Venue:Annals of Pure and Applied Logics