Weighted graphs, tool for studying the halting problem and time complexity in term rewriting systems and logic programming - Devienne, Philippe (1988)