Mannila: Recognizing renamable generalized propositional Horn formulas is NP-complete (1995)

by P Kilpeläinen Eiter
Venue:Discrete Applied Mathematics