1
Finite Model Theory
Lecture 14
Proof of the Pebble Games Theorem