A decidable dense branching-time temporal logic (1974)

by Salvatore La Torre, Margherita Napoli
Venue:In FSTTCS’00