Stratified context unification is np-complete (2006)

by Jordi Levy, Manfred Schmidt-Schauß, Mateu Villaret
Venue:In Proceedings of the Third international joint conference on Automated Reasoning, IJCAR’06