Declassified document AECD (series). 2482. Reduction of carbon dioxide to formic acid [with list of references]; by Weldon G. Brown. John G. Burr. jr.