temporal logics (1985)

by tableaux Automata
Venue:In Logic of Programs