Embedding multiset constraints into a lazy functional logic language | Publicación