Charatonik, Witold Programming Logics, MPI for Informatics, Max Planck Society;
Podelski, Andreas Programming Logics, MPI for Informatics, Max Planck Society;
Charatonik, W., & Podelski, A. (1998). Co-definite Set Constraints. In T., Nipkow (Ed.), Proceedings of the 9th International Conference on Rewriting Techniques and Applications (RTA-98) (pp. 211-225). Berlin, Germany: Springer.