Interaction between path and type constraints (0)

by Peter Buneman, Wenfei Fan, Scott Weinstein
Venue:ACM Trans. Comput. Logic