A Computational Theory of Inference for Arithmetic Explanation Albert Goldfain author 2006 text Proceedings of the Fifth International Workshop on Inference in Computational Semantics (ICoS-5) Johan Bos editor Alexander Koller editor conference publication goldfain-2006-computational https://aclanthology.org/W06-3916/ 2006