A Unified Computation Model for Functional and Logic Programming (1997)

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