A Higher-Order Logic Programming Language with Constraints | Publicación