Implementation of multiple specialization in logic programs | Publicación