@inproceedings{giuliano-1960-logic,
    title = "The Logic of Automatic Formula Synthesis",
    author = "Giuliano, Vincent",
    editor = "Edmundson, H. P.",
    booktitle = "Proceedings of the National Symposium on Machine Translation",
    month = "2-5 " # feb,
    year = "1960",
    address = "Los Angeles",
    url = "https://preview.aclanthology.org/ingest-emnlp/1960.earlymt-nsmt.57/"
}