Completeness of Path-Problems via Logical Reductions Iain A. Stewart 123-134 Inf. Comput. August 1995 121 1 db/journals/iandc/iandc121.html#Stewart95