A Decision Algorithm for Stratified Context Unification.

Manfred Schmidt-Schauß A Decision Algorithm for Stratified Context Unification. 929-953 2002 12 J. Log. Comput. 6 https://doi.org/10.1093/logcom/12.6.929 db/journals/logcom/logcom12.html#Schmidt-Schauss02