Gilles Dowek. Third Order Matching is Decidable. Annals of Pure and Applied Logic, 69(2-3):135-155, 1994.
@article{Dowek94, title = {Third Order Matching is Decidable}, author = {Gilles Dowek}, year = {1994}, researchr = {https://researchr.org/publication/Dowek94}, cites = {0}, citedby = {0}, journal = {Annals of Pure and Applied Logic}, volume = {69}, number = {2-3}, pages = {135-155}, }