Substructure Temporal Logic.

Massimo Benerecetti, Fabio Mogavero, Aniello Murano

Browse the full LICS paper archive.