Title: Reductivity arguments and program construction
Subjects: Logic programming, Induction (Logic)