"An Efficient Abstract Machine for Curry."

Wolfgang Lux, Herbert Kuchen (1999)
a service of Schloss Dagstuhl - Leibniz Center for Informatics