Learning to reason (1997)

by R Khardon, D Roth
Venue:Journal of the ACM