"An SE-tree based Characterization of the Induction Problem."

Ron Rymon (1993)
a service of Schloss Dagstuhl - Leibniz Center for Informatics