Micha Meier Recursion versus Iteration in Prolog. 157-169 1991 ICLP db/conf/iclp/iclp91.html#Meier91