Determinacy Analysis for Logic Programs Using Mode and Type Information | Publicación