Článek popisuje inkrementální propagační pravidla pro precedenční grafy s volitelnými aktivitami a časovými okny