Maribel Fernández. AC Complement Problems: Satisfiability and Negation Elimination. Journal of Symbolic Computation, 22(1):49-82, 1996.
@article{Fernandez96, title = {AC Complement Problems: Satisfiability and Negation Elimination}, author = {Maribel Fernández}, year = {1996}, researchr = {https://researchr.org/publication/Fernandez96}, cites = {0}, citedby = {0}, journal = {Journal of Symbolic Computation}, volume = {22}, number = {1}, pages = {49-82}, }