Tatiana Rybina Andrei Voronkov A Logical Reconstruction of Reachability. 222-237 http://dx.doi.org/10.1007/978-3-540-39866-0_24 2003 conf/ershov/2003 Ershov Memorial Conference db/conf/ershov/ershov2003.html#RybinaV03