1. A Prological Definition of hasl, a Purely Functional Language with Unification Based Conditional Binding Expressions;Abramson;New Generation Comput.,1984
2. On the integration of logic programming and functional programming;Barbuti,1984
3. leaf: A Language Which Integrates Logic, Equations and Functions;Barbuti,1985
4. A Functional Plus Predicate Logic Programming Language;Bellia;Proceedings of the Logic Programming Workshop,1980
5. The Call by Name Semantics of a Clause Language with Functions;Bellia,1982