Title: INDUCE-1, an interactive inductive inference program in VL₂₁ logic system
Subjects: INDUCE-1, VL21 system