Semantic Determinism and Functional Logic Program Properties | Publicación