Author:
Publication: Artificial Intelligence
Fixpoint semantics for active integrity constraints
Strong temporal planning with uncontrollable durations