Zoltan Somogyi Fergus Henderson Thomas Conway The Implementation of Mercury, an Efficient Purely Declarative Logic Programming Language. 0- 1994 ILPS Workshop: Implementation Techniques for Logic Programming Languages ftp://ftp.elis.rug.ac.be/pub/prolog/ilps94_workshop/somogyi.ps.Z db/conf/slp/slp94-w4.html#SomogyiHC94