TY  - RPRT
TI  - From conjecture generation by maintaining dragging to proof
AU  - Anna Baccaglini-Frank
AU  - Samuele Antonini
PY  - 2016
UR  - https://arxiv.org/abs/1605.02583
ID  - 1605.02583
ER  -