Anomaly Hierarchies of Mechanized Inductive Inference John Case Carl Smith 314-319 conf/stoc/STOC10 1978 STOC db/conf/stoc/stoc78.html#CaseS78