The Complexity of the Validity Problem for Dynamic Logic - Kenneth L. Manders; Robert R. Daley (Inf. Control., 1982)