Deterministic vs. Nondeterministic Transitive Closure Logic

Deterministic vs. Nondeterministic Transitive Closure Logic Erich Grädel Gregory L. McColm 58-63 conf/lics/LICS7 1992 LICS db/conf/lics/lics92.html#GraedelM92