Finite Model Theory and Its Applications door M. Marx, Scott Weinstein & Moshe Y. Vardi