Zoltan Somogyi Fergus Henderson Thomas Conway The Execution Algorithm of Mercury, an Efficient Purely Declarative Logic Programming Language. 17-64 1996 29 J. Log. Program. 1-3 db/journals/jlp/jlp29.html#SomogyiHC96