1. Compiling with Continuations;Appel,1992
2. Callee-save registers in continuation-passing style;Appel;Lisp and Symbolic Computation,1992
3. An efficient implementation of multiple return values in scheme;Ashley,1994
4. The occur-check problem revisited;Beer;J. Logic Programming,1988
5. Output value placement in model logic programs;Bigot,1994