ML Anthology

Arvelo, Yolifé

1 publications

AAAI 2006 Compilation of Query-Rewriting Problems into Tractable Fragments of Propositional Logic Yolifé Arvelo, Blai Bonet, Maria-Esther Vidal