Comments on: First-Order Logic with Reachability Predicates over Infinite Systems

Comments on: First-Order Logic with Reachability Predicates over Infinite Systems http://www.algosyn.rwth-aachen.de/wp-publications/schulz09/ hourly 1 http://wordpress.org/?v=3.6.1