A Sound Semantics for a Similarity-Based Logic Programming Language | Publicación