@inproceedings{goldfain-2006-computational,
    title = "A Computational Theory of Inference for Arithmetic Explanation",
    author = "Goldfain, Albert",
    editor = "Bos, Johan  and
      Koller, Alexander",
    booktitle = "Proceedings of the Fifth International Workshop on Inference in Computational Semantics ({IC}o{S}-5)",
    year = "2006",
    url = "https://preview.aclanthology.org/fix-sig-urls/W06-3916/"
}