Reversible Computations in Logic Programming | Publicación