Joachim Niehren, 
   Martin Müller and 
   Jean-Marc Talbot. Entailment of Atomic Set Constraints is PSPACE-Complete.  In 14th Annual IEEE Symposium on Logic in Computer Science (LICS '99), July 2-5, Pages 285-294, IEEE Press, Trento, Italy,   1999.   [Abstract]      google  [Annote]
     |