First-Order Logic with Reachability Predicates on Infinite Systems.

Stefan Schulz First-Order Logic with Reachability Predicates on Infinite Systems. 493-504 2010 FSTTCS http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2010.493 conf/fsttcs/2010 db/conf/fsttcs/fsttcs2010.html#Schulz10