Rusins Freivalds Juris Viksna Inductive Inference up to Immune Sets. 138-147 1989 conf/aii/1989 AII db/conf/aii/aii89.html#FreivaldsV89