"Optimising Recursive Functions Yielding Multiple Results in Tuples in a ..."

John H. G. van Groningen (1999)
a service of Schloss Dagstuhl - Leibniz Center for Informatics