Deterministic Process Logic Is Elementary

Joseph Y. Halpern

Browse the full FOCS paper archive.