Stratified context unification is npcomplete (2006)

by Jordi Levy , Manfred Schmidt-schauß , Mateu Villaret
Venue:In Proc. of the 3rd International Joint Conference on Automated Reasoning, IJCAR’06
Citations:7 - 2 self