Inductive inference in reflexive domains (1981)

by F V Jensen