Co-learnability and FIN-identifiability of Enumerable Classes of Total Recursive Functions. - Rusins Freivalds; Dace Gobleja; Marek Karpinski; Carl H. Smith (AII/ALT, 1994)