A practical type analysis for verification of modular prolog programs | Publicación