Pawel Mielniczuk, Leszek Pacholski. Tarskian Set Constraints Are in NEXPTIME. In Lubos Brim, Jozef Gruska, JirĂ Zlatuska, editors, Mathematical Foundations of Computer Science 1998, 23rd International Symposium, MFCS 98, Brno, Czech Republic, August 24-28, 1998, Proceedings. Volume 1450 of Lecture Notes in Computer Science, pages 589-596, Springer, 1998. [doi]
Abstract is missing.