Computing programs for generalized planning using a classical planner | Publicación