@misc{indiciae12e426408a30,
  title = {Constructing small tree grammars and small circuits for formulas},
  author = {Moses Ganardi and Danny Hucke and Artur Jez and Markus Lohrey and Eric Noeth},
  year = {2015},
  url = {https://arxiv.org/abs/1407.4286},
  note = {Source identifier: 1407.4286}
}