A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems | Publicación