Deduction versus computation: the case of induction (2002)

by Eric Deplagne, Claude Kirchner
Venue:AISC and Calculemus Joint International Conferences, Lecture Notes in Artificial Intelligence