Formally grounding spatio-temporal thinking - Alexander Klippel; Jan Oliver Wallgrün; Jinlong Yang; Rui Li; Frank Dylla (Cognitive Processing, 2012)