Generalized Planning with Procedural Domain Control Knowledge | Publicación