Skip to content

Satisfiability algorithms for conjunctive queries over trees.

James Cheney

VenueAICDT
Year2011
ProceedingsICDT

Browse the full ICDT paper archive.