Charatonik, Witold Programming Logics, MPI for Informatics, Max Planck Society;
Charatonik, W. (1998). An Undecidable Fragment of the Theory of Set Constraints. Information Processing Letters, 68, 147-151.