Local variations on a loose theme: modal logic and decidability (2005)

by M Marx, Y Venema
Venue:Finite-Model Theory and Its Applications, Texts in Theoretical Computer Science