The Propositional Dynamic Logic of Deterministic, Well-Structured Programs (Extended Abstract)

Joseph Y. Halpern, John H. Reif

Browse the full FOCS paper archive.