Equality and monodic first-order temporal logic (2002)

by A DEGTYAREV, M FISHER, A LISITSA
Venue:Studia Logica