Jon Sneyers, Tom Schrijvers, Bart Demoen. Dijkstra s Algorithm with Fibonacci Heaps: An Executable Description in CHR. In Michael Fink, Hans Tompits, Stefan Woltran, editors, 20th Workshop on Logic Programming, Vienna, Austria, February 22--24, 2006. Volume 1843-06-02 of INFSYS Research Report, pages 182-191, Technische Universität Wien, Austria, 2006. [doi]
@inproceedings{SneyersSD06:0,
title = {Dijkstra s Algorithm with Fibonacci Heaps: An Executable Description in CHR},
author = {Jon Sneyers and Tom Schrijvers and Bart Demoen},
year = {2006},
url = {http://www.kr.tuwien.ac.at/wlp06/02-final.ps.gz},
researchr = {https://researchr.org/publication/SneyersSD06%3A0},
cites = {0},
citedby = {0},
pages = {182-191},
booktitle = {20th Workshop on Logic Programming, Vienna, Austria, February 22--24, 2006},
editor = {Michael Fink and Hans Tompits and Stefan Woltran},
volume = {1843-06-02},
series = {INFSYS Research Report},
publisher = {Technische Universität Wien, Austria},
}