Induction by Enumeration

Authored By:	Eric Martin and Daniel Osherson
Paper Title:	Induction by Enumeration
In:	Inform. Comput.
Number 1 Vol. 171
Publication Date:	November 2001
Pages:	50-68