Entailment of atomic set constraints is PSPACE-complete. (1999)

by J Niehren, M Muller, J-M Talbot
Venue:In IEEE Symposium on Logic in Computer Sience,