@inproceedings{darwicheAAAI02, author = "Darwiche, Adnan", title = {A Compiler for Deterministic, Decomposable Negation Normal Form}, booktitle = "Proceedings of the Eighteenth National Conference on Artificial Intelligence (AAAI)", pages = {627--634}, publisher = "AAAI Press", address = "Menlo Park, California", year = {2002} }