The Boundary Between Decidability and Undecidability for Transitive-Closure Logics.

Neil Immerman, Alexander Moshe Rabinovich, Thomas W. Reps, Shmuel Sagiv, Greta Yorsh

Browse the full CSL paper archive.