Completeness of path-problems via logical reductions
scientific article; zbMATH DE number 799034