Automated Complexity Proofs for Qualitative Spatial and Temporal Calculi.

Jochen Renz, Jason Jingshi Li

Browse the full KR paper archive.