More on the Problem of Finding a Mapping between Clause Representation and Natural Deduction Representation.

Peter B. Andrews More on the Problem of Finding a Mapping between Clause Representation and Natural Deduction Representation. 285-286 1991 7 J. Autom. Reasoning 2 db/journals/jar/jar7.html#Andrews91