John Case Carl Smith Comparison of Identification Criteria for Machine Inductive Inference. 193-220 1983 25 Theor. Comput. Sci. db/journals/tcs/tcs25.html#CaseS83