Dijkstra’s algorithm with Fibonacci heaps: An executable description in CHR (0)

by J Sneyers, T Schrijvers, B 2006a Demoen
Venue:In WLP ’06: Proc. 20th Workshop on Logic Programming