Decidable containment of recursive queries

by Diego Calvanese , Moshe Y. Vardi
Venue:Theoretical Computer Science
Citations:25 - 4 self