Generalized Planning With Procedural Domain Control Knowledge | Publicación