"Automatic Recognition of Induction Variables and Recurrence Relations by ..."

Zahira Ammarguellat, Williams Ludwell Harrison III (1990)
a service of Schloss Dagstuhl - Leibniz Center for Informatics