Theorem proving in arithmetic without multiplication (1972)

by David Charles Cooper
Venue:Machine Intelligence