pdf bibA Computational Theory of Inference for Arithmetic ExplanationAlbert GoldfainProceedings of the Fifth International Workshop on Inference in Computational Semantics (ICoS-5)