@article{darwicheJACM-DNNF,
    author = "Adnan Darwiche",
    title = "Decomposable Negation Normal Form",
    journal = "Journal of the ACM",
    volume = "48",
    number = "4",
    pages = "608-647",
    year = "2001"
}