An Interpolating Decision Procedure for Transitive Relations with Uninterpreted Functions - Kroening, D; Weissenbacher, G (Proceedings of the 5th Haifa Verification Conference, 2010)