Theorem proving in arithmetic without multiplication (1972)

by D Cooper
Venue:Machine Intelligence