Propositional dynamic logic of looping and converse is elementarily decidable (1982)

by R S Streett
Venue:Information and Control