A polynomial reduction of forks into logic programs | Publicación