The application of logic programming to the generation of plans for robots. - Robert H. Davis; M. Comacho (Robotica, 1984)