Automatic Inference of Determinacy and Mutual Exclusion for Logic Programs Using Mode and Type Analyses | Publicación