Charatonik, Witold Programming Logics, MPI for Informatics, Max Planck Society;
Podelski, Andreas Programming Logics, MPI for Informatics, Max Planck Society;
Charatonik, W., & Podelski, A. (1997). Set Constraints with Intersection. In G. Winskel (Ed.), Proceedings of the Twelfth Annual IEEE Symposium on Logic in Computer Science (LICS-97) (pp. 362-372). New York, USA: IEEE.