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]
|