More Precise Yet Efficient Type Inference for Logic Programs | Publicación