From monadic logic to PSL (2008)

by M Y Vardi
Venue:In Pillars of Computer Science