Micha Meier: Recursion versus Iteration in Prolog. ICLP 1991: 157-169