Nested Pebbles and Transitive Closure
Lecture Notes in Computer Science (2006) - Comments
doi: 10.1007/11672142_39  issn: 0302-9743  issn: 1611-3349 

Joost Engelfriet, Hendrik Jan Hoogeboom