Talbot, Jean-Marc Programming Logics, MPI for Informatics, Max Planck Society;
Talbot, J.-M., Niehren, J., & Müller, M. (1999). Entailment of Atomic Set Constraints is PSPACE-Complete. In G. Longo (Ed.), Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science (LICS-99) (pp. 285-294). Los Alamitos, USA: IEEE.