Wayne Kelly William Pugh Evan Rosser Tatiana Shpeisman Transitive Closure of Infinite Graphs and Its Applications. 126-140 1995 conf/lcpc/1995 LCPC db/conf/lcpc/lcpc1995.html#KellyPRS95