The temporal logic Sugar (2001)

by I Beer, S Ben-David, C Eisner, D Fisman, A Gringauze, Y Rodeh
Venue:In CAV’01