Hybrid languages and temporal logic (1999)

by P Blackburn, M Tzakova
Venue:Logic Journal of the IGPL