Generic Dijkstra: correctness and tractability | IEEE Conference Publication | IEEE Xplore