Inkrementelle temporale Constraintpropagierung. - Georg Schmitt; Hartmut Noltemeier; Manfred Widera (Künstliche Intell., 1997)