Weighted graphs: A tool for studying the halting problem and time complexity in term rewriting systems and logic programming
scientific article; zbMATH DE number 4151805