A Virtual Machine for Functional Logic Computations. - Sergio Antoy; Michael Hanus; Jimeng Liu; Andrew P. Tolmach (IFL, 2004)