The Reachability-Bound Problem. (2010)

by S Gulwani, F Zuleger
Venue:In Conf. on Prog. Lang. Design and Impl. (PLDI’10),