TY  - RPRT
TI  - Rational Synthesis
AU  - Dana Fisman
AU  - Orna Kupferman
AU  - Yoad Lustig
PY  - 2009
UR  - https://arxiv.org/abs/0907.3019
ID  - 0907.3019
ER  -