A Unified Computation Model for Functional and Logic Programming.

Michael Hanus A Unified Computation Model for Functional and Logic Programming. 80-93 1997 conf/popl/1997 POPL db/conf/popl/popl97.html#Hanus97 http://doi.acm.org/10.1145/263699.263710