Set constraints with intersection (1997)

by W Charatonik, A Podelski
Venue:In Proc. IEEE Symposium on Logic in Computer Science, Varsaw