David Hartvigsen Minimum Path Bases. 125-142 1993 15 J. Algorithms 1 db/journals/jal/jal15.html#Hartvigsen93