2
As mentioned above: question answered by reference to FO(TC) games presented in Finite Model Theory by Ebbinghaus and Flum.
Only top voted, non community-wiki answers of a minimum length are eligible
