@inproceedings{feng-etal-2020-neureduce,
    title = "{N}eu{R}educe: Reducing Mixed {B}oolean-Arithmetic Expressions by Recurrent Neural Network",
    author = "Feng, Weijie  and
      Liu, Binbin  and
      Xu, Dongpeng  and
      Zheng, Qilong  and
      Xu, Yun",
    editor = "Cohn, Trevor  and
      He, Yulan  and
      Liu, Yang",
    booktitle = "Findings of the Association for Computational Linguistics: EMNLP 2020",
    month = nov,
    year = "2020",
    address = "Online",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/fix-sig-urls/2020.findings-emnlp.56/",
    doi = "10.18653/v1/2020.findings-emnlp.56",
    pages = "635--644"
}