Georg Schmitt Hartmut Noltemeier Manfred Widera Inkrementelle temporale Constraintpropagierung. 7-13 1997 11 KI 1 db/journals/ki/ki11.html#SchmittNW97