Moshe Y. Vardi

• Finite Model Theory and Its Applications
• Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)
• Logic for programming artificial intelligence and reasoning
• TARK Proceedings 1988
• Formal Techniques for Networked and Distributed Systems - FORTE 2002