Comments on: A linear operational semantics for termination and complexity analysis of ISO prolog

Comments on: A linear operational semantics for termination and complexity analysis of ISO prolog http://www.algosyn.rwth-aachen.de/wp-publications/stroederemmesschneider-kampgieslfuhs2012/ hourly 1 http://wordpress.org/?v=3.6.1