Comments on: Proving Termination by Dependency Pairs and Inductive Theorem Proving

Comments on: Proving Termination by Dependency Pairs and Inductive Theorem Proving http://www.algosyn.rwth-aachen.de/wp-publications/fuhsgieslpartingschneider-kampswiderski2011/ hourly 1 http://wordpress.org/?v=3.6.1