%0 Journal Article
%T Decidability of higher-order matching
%A Colin Stirling
%J Computer Science
%D 2009
%I arXiv
%R 10.2168/LMCS-5(3:2)2009
%X We show that the higher-order matching problem is decidable using a game-theoretic argument.
%U http://arxiv.org/abs/0907.3804v3