Interaction between Path and Type Constraints.

Peter Buneman, Wenfei Fan, Scott Weinstein

Browse the full PODS paper archive.