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

Yolif Arvelo, Blai Bonet, Maria-Esther Vidal

Browse the full AAAI paper archive.