Generic Dijkstra: correctness and tractability.

Ireneusz Szczesniak, Bozena Wozna-Szczesniak

Browse the full NOMS paper archive.