TY  - RPRT
TI  - Sintesi di algoritmi con SKY
AU  - Giovambattista Ianni
PY  - 2001
UR  - https://arxiv.org/abs/cs/0111011
ID  - cs/0111011
ER  -