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

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