Jochen Renz Jason Jingshi Li Automated Complexity Proofs for Qualitative Spatial and Temporal Calculi. 715-723 2008 KR conf/kr/2008 db/conf/kr/kr2008.html#RenzL08