Theorem proving in arithmetic without multiplication (1972)

by D C Cooper
Venue:in Proc. 7th Annual Machine Intelligence Workshop