The Ehrenfeucht-Fraisse Games for Transitive Closure. - A. Calò; Johann A. Makowsky (LFCS, 1992)