Dijkstra’s algorithm with Fibonacci heaps: An executable description (2006)

by Jon Sneyers, Tom Schrijvers, Bart Demoen
Venue:in CHR. In 20th Workshop on Logic Programming (WLP’06