The application of logic programming to the generation of plans for robots

Robert H. Davis, M. Comacho. The application of logic programming to the generation of plans for robots. Robotica, 2(3):137-146, 1984. [doi]