Two Variable vs. Linear Temporal Logic in Model Checking and Games.

Michael Benedikt
James Worrell
Logical Methods in Computer Science, 9 (2013)

Abstract