Comments on: Symbolic evaluation graphs and term rewriting: a general methodology for analyzing logic programs

Comments on: Symbolic evaluation graphs and term rewriting: a general methodology for analyzing logic programs http://www.algosyn.rwth-aachen.de/wp-publications/gieslstroederschneider-kampemmesfuhs2012/ hourly 1 http://wordpress.org/?v=3.6.1