Decidability of Bounded Higher-Order Unification.

Journal of Symbolic Computation, Volume 40 (2), pp. 905-954, August 2005.

Authors/Editors:	Manfred Schmidt-Schauß Klaus U. Schulz
Publication Date:	2005
Type of Publication:	Konferenzen/Journale