Answer Set Programming for Qualitative Spatio-Temporal Reasoning: Methods and Experiments.
C. Brenton, W. Faber, and S. Batsakis. ICLP (Technical Communications), volume 52 of OASIcs, page 4:1-4:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)