Automated Complexity Proofs for Qualitative Spatial and Temporal Calculi
Renz, Jochen
•
Li, Jason Jingshi
2008
Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008