%0 Journal Article %1 journals/ai/Chester76 %A Chester, Daniel L. %D 1976 %J Artif. Intell. %K dblp %N 3 %P 261-278 %T The Translation of Formal Proofs into English. %U http://dblp.uni-trier.de/db/journals/ai/ai7.html#Chester76 %V 7

@article{journals/ai/Chester76, added-at = {2011-06-30T00:00:00.000+0200}, author = {Chester, Daniel L.}, biburl = {https://www.bibsonomy.org/bibtex/27738ee48a0427fa599b868f06e777029/dblp}, ee = {http://dx.doi.org/10.1016/0004-3702(76)90007-2}, interhash = {80f2249ec3ad39240c7c884a9ad8ce5f}, intrahash = {7738ee48a0427fa599b868f06e777029}, journal = {Artif. Intell.}, keywords = {dblp}, number = 3, pages = {261-278}, timestamp = {2011-07-01T11:33:01.000+0200}, title = {The Translation of Formal Proofs into English.}, url = {http://dblp.uni-trier.de/db/journals/ai/ai7.html#Chester76}, volume = 7, year = 1976 }