Functional Logic Programming in Maude | Publicación