Third order matching is decidable (1994)

by G Dowek
Venue:Annals of Pure and Applied Logic