Frank M. Brown. A Deductive System for elementary Arithmetic. In AISB (ECAI). pages 84-93, 1976.
@inproceedings{Brown76a,
title = {A Deductive System for elementary Arithmetic},
author = {Frank M. Brown},
year = {1976},
researchr = {https://researchr.org/publication/Brown76a},
cites = {0},
citedby = {0},
pages = {84-93},
booktitle = {AISB (ECAI)},
}