Jason Jingshi Li: Qualitative Spatial and Temporal Reasoning with Answer Set Programming. ICTAI 2012: 603-609