Guesgen, H.W.H.W.Guesgen2022-03-072022-03-071989https://publica.fraunhofer.de/handle/publica/285971enSpatial reasoning based on Allen's temporal logicreport