Decidability of bounded second order unification

Cite this paper

@article{SchmidtSchau2004DecidabilityOB, title={Decidability of bounded second order unification}, author={Manfred Schmidt-Schau\ss}, journal={Inf. Comput.}, year={2004}, volume={188}, pages={143-178} }