Charatonik, Witold Programming Logics, MPI for Informatics, Max Planck Society;
Podelski, Andreas Programming Logics, MPI for Informatics, Max Planck Society;
Charatonik, W., & Podelski, A. (1996). The Independence Property of a Class of Set Constraints. In E. Freuder (Ed.), Principles and Practice of Constraint Programming, Proceedings of the Second International Conference (CP'96) (pp. 76-90). Berlin, Germany: Springer.