Philippe Devienne Weighted Graphs: A Tool for Studying the Halting Problem and Time Complexity in Term Rewriting Systems and Logic Programming. 157-215 1990 75 Theor. Comput. Sci. 1&2 db/journals/tcs/tcs75.html#Devienne90