temporal logics (1985)

by tableaux Automata
Venue:In Proc. Workshop on Logic of Programs