@inproceedings{grefenstette-2013-towards, title = "Towards a Formal Distributional Semantics: Simulating Logical Calculi with Tensors", author = "Grefenstette, Edward", editor = "Diab, Mona and Baldwin, Tim and Baroni, Marco", booktitle = "Second Joint Conference on Lexical and Computational Semantics (*{SEM}), Volume 1: Proceedings of the Main Conference and the Shared Task: Semantic Textual Similarity", month = jun, year = "2013", address = "Atlanta, Georgia, USA", publisher = "Association for Computational Linguistics", url = "https://preview.aclanthology.org/ingest_wac_2008/S13-1001/", pages = "1--10" }