A Loop-Free Path-Finding Algorithm: Specification, Verification and Complexity
1990 ◽
Vol 04
(02)
◽
pp. 269-301
◽
1971 ◽
Vol 32
(C1)
◽
pp. C1-539-C1-540
◽
2011 ◽
Vol 131
(5)
◽
pp. 1059-1067
Keyword(s):