Quasi-terminating logic programs for ensuring the termination of partial evaluation | Publicación