Equality and monodic first-order temporal logic

From MaRDI portal
Publication:1863826