TY  - RPRT
TI  - Synthesis from Recursive-Components Libraries
AU  - Yoad Lustig
AU  - Moshe Vardi
PY  - 2011
DO  - 10.4204/eptcs.54.1
UR  - https://arxiv.org/abs/1106.1228
ID  - 1106.1228
ER  -