The Logic of Automatic Formula Synthesis Vincent Giuliano author 1960-2-5 feb text Proceedings of the National Symposium on Machine Translation H P Edmundson editor Los Angeles conference publication giuliano-1960-logic https://aclanthology.org/1960.earlymt-nsmt.57/ 1960-2-5 feb