Stratified context unification is NPcomplete (2006)

by J Levy, M Schmidt-Schauss, M Villaret
Venue:In 3rd International Joint Conference on Automated Reasoning, volume 4130 of LNCS