@misc{indiciae54d926d9e373,
  title = {Automatic Generation of Formula Simplifiers based on Conditional Rewrite Rules},
  author = {Rohit Singh and Armando Solar-Lezama},
  year = {2016},
  url = {https://arxiv.org/abs/1602.07285},
  note = {Source identifier: 1602.07285}
}