Title: Toward computer-aided induction
Subjects: AQVAL programs (Computer programs), Induction (Mathematics), Many-valued logic