Hsu-Hao Yang, Yen-Liang Chen: The first K shortest unique-arc walks in a traffic-light network. Math. Comput. Model. 40(13): 1453-1464 (2004)