A uni algorithm for second order monadic terms (1988)

by W A Farmer
Venue:Annals of Pure and Applied Logic