Equality and monodic first-order temporal logic (0)

by A Degtyarev, M Fisher, A Lisitsa
Venue:Studia Logica