"On the Scheme of Passing Arguments in Stack Frames for Prolog."

Neng-Fa Zhou (1994)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics