The boundary between decidability and undecidability for transitiveclosure logics,” (2004)

by N Immerman, A M Rabinovich, T W Reps, S Sagiv, G Yorsh
Venue:in Computer Science Logic, ser. LNCS,