TY  - RPRT
TI  - Constructing small tree grammars and small circuits for formulas
AU  - Moses Ganardi
AU  - Danny Hucke
AU  - Artur Jez
AU  - Markus Lohrey
AU  - Eric Noeth
PY  - 2015
UR  - https://arxiv.org/abs/1407.4286
ID  - 1407.4286
ER  -