Daniel N. Osherson Michael Stob Scott Weinstein A Mechanical Method of Successful Scientific Inquiry. 187-201 1990 COLT http://portal.acm.org/citation.cfm?id=92571.92636 db/conf/colt/colt1990.html#OshersonSW90