Debugging in A-Prolog: A Logical Approach | Publicación