A Deductive System for elementary Arithmetic.

Frank M. Brown

Browse the full ECAI paper archive.