Robert L. Constable, Todd B. Knoblock, Joseph L. Bates. Writing Programs that Construct Proofs. Journal of Automated Reasoning, 1(3):285-326, 1985.
@article{ConstableKB85,
title = {Writing Programs that Construct Proofs},
author = {Robert L. Constable and Todd B. Knoblock and Joseph L. Bates},
year = {1985},
tags = {writing},
researchr = {https://researchr.org/publication/ConstableKB85},
cites = {0},
citedby = {0},
journal = {Journal of Automated Reasoning},
volume = {1},
number = {3},
pages = {285-326},
}