Maribel Fernández AC Complement Problems: Satisfiability and Negation Elimination. 49-82 1996 22 J. Symb. Comput. 1 db/journals/jsc/jsc22.html#Fernandez96