Entailment of Atomic Set Constraints is PSPACE-Complete (1999)

by Joachim Niehren , Martin Müller , Jean-marc Talbot
Venue:In Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science (LICS
Citations:8 - 5 self