A Computational Logic Approach to Human Spatial Reasoning. - Emmanuelle-Anna Dietz; Steffen Hölldobler; Raphael Hops (SSCI, 2015)