Freedom, Weakness, and Determinism: From Linear-Time to Branching-Time.

Orna Kupferman Moshe Y. Vardi Freedom, Weakness, and Determinism: From Linear-Time to Branching-Time. 81-92 1998 LICS db/conf/lics/lics98.html#KupfermanV98