Zoltan Szabo Stratified Inductive Hypothesis Generation. 177-195 1986 conf/aii/1986 AII db/conf/aii/aii86.html#Szabo86