Larry Wos. The Problem of Finding a Mapping between Clause Representation and Natural-Deduction Representation. Journal of Automated Reasoning, 6(2):211-212, 1990.
@article{Wos90a,
title = {The Problem of Finding a Mapping between Clause Representation and Natural-Deduction Representation},
author = {Larry Wos},
year = {1990},
researchr = {https://researchr.org/publication/Wos90a},
cites = {0},
citedby = {0},
journal = {Journal of Automated Reasoning},
volume = {6},
number = {2},
pages = {211-212},
}