A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation | Publicación