The paper formally describes new incremental propagation rules for precedence graphs with optional activities and time windows.
