Reachability and connectivity queries in constraint databases

Michael Benedikt, Martin Grohe, Leonid Libkin, Luc Segoufin. Reachability and connectivity queries in constraint databases. J. Comput. Syst. Sci., 66(1):169-206, 2003. [doi]

Abstract

Abstract is missing.