@inproceedings{neureducereducingmixedbooleanarithmetic,
  title = {NeuReduce: Reducing Mixed Boolean-Arithmetic Expressions by Recurrent Neural Network},
  author = {Weijie Feng and Binbin Liu and Dongpeng Xu and Qilong Zheng and Yun Xu},
  year = {2020},
  booktitle = {Findings of the Association for Computational Linguistics 2020},
  url = {https://aclanthology.org/2020.findings-emnlp.56},
}