SMS versenden: Weighted graphs : [a] tool for studying the halting problem and time complexity in term rewriting systems and logic programming / by P. Devienne.