A unified computation model for functional and logic programming. (1997)

by M Hanus
Venue:In Proc. 24st ACM Symposium on Principles of Programming Languages (POPL’97),