Theorem proving in arithmetic without multiplication (1972)

by D C Cooper
Venue:Machine Inteligence 7, 91–100