From Monadic Logic to PSL (2007)

by Moshe Y. Vardi
Citations:3 - 1 self