Keyword:transitive closure

Papers
Transitive Closure Logic: Infinitary and Cyclic Proof Systems Reuben Rowe and Liron Cohen EasyChair Preprint no. 191
LOOPUS - A Tool for Computing Loop Bounds for C Programs Moritz Sinn and Florian Zuleger In:WING 2010. Workshop on Invariant Generation 2010