@inproceedings{ferreira-freitas-2020-natural, title = "Natural Language Premise Selection: Finding Supporting Statements for Mathematical Text", author = "Ferreira, Deborah and Freitas, Andr{\'e}", editor = "Calzolari, Nicoletta and B{\'e}chet, Fr{\'e}d{\'e}ric and Blache, Philippe and Choukri, Khalid and Cieri, Christopher and Declerck, Thierry and Goggi, Sara and Isahara, Hitoshi and Maegaard, Bente and Mariani, Joseph and Mazo, H{\'e}l{\`e}ne and Moreno, Asuncion and Odijk, Jan and Piperidis, Stelios", booktitle = "Proceedings of the Twelfth Language Resources and Evaluation Conference", month = may, year = "2020", address = "Marseille, France", publisher = "European Language Resources Association", url = "https://preview.aclanthology.org/jlcl-multiple-ingestion/2020.lrec-1.266/", pages = "2175--2182", language = "eng", ISBN = "979-10-95546-34-4" }