Compilation of Query-Rewriting Problems into Tractable Fragments of Propositional Logic

Arvelo et al. "Compilation of Query-Rewriting Problems into Tractable Fragments of Propositional Logic." AAAI Conference on Artificial Intelligence, 2006.

[Arvelo et al. "Compilation of Query-Rewriting Problems into Tractable Fragments of Propositional Logic." AAAI Conference on Artificial Intelligence, 2006.](https://mlanthology.org/aaai/2006/arvelo2006aaai-compilation/)

@inproceedings{arvelo2006aaai-compilation,
  title     = {{Compilation of Query-Rewriting Problems into Tractable Fragments of Propositional Logic}},
  author    = {Arvelo, Yolifé and Bonet, Blai and Vidal, Maria-Esther},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2006},
  pages     = {225-230},
  url       = {https://mlanthology.org/aaai/2006/arvelo2006aaai-compilation/}
}