Reachability and Connectivity Queries in Constraint Databases.

Michael Benedikt, Martin Grohe, Leonid Libkin, Luc Segoufin

Browse the full PODS paper archive.