Towards a Complete Scheme for Tabled Execution Based on Program Transformation | Publicación