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