A Decision Algorithm for Stratified Context Unification

Cite this paper

@article{SchmidtSchau2002ADA, title={A Decision Algorithm for Stratified Context Unification}, author={Manfred Schmidt-Schau\ss}, journal={J. Log. Comput.}, year={2002}, volume={12}, pages={929-953} }