Larry Wos. The Problem of Finding a Mapping between Clause Representation and Natural-Deduction Representation. Journal of Automated Reasoning, 6(2):211-212, 1990.
No references recorded for this publication.
No citations of this publication recorded.