Characterisations of Termination in Logic Programming | Publicación