Wolfgang Lux Herbert Kuchen An Efficient Abstract Machine for Curry. 390-399 1999 GI Jahrestagung db/conf/gi/gi99.html#LuxK99