"A Linear-Time Model-Checking Algorithm for the Alternation-Free Modal ..."

Rance Cleaveland, Bernhard Steffen (1991)
a service of Schloss Dagstuhl - Leibniz Center for Informatics