TY  - RPRT
TI  - Maintaining dragging and the pivot invariant in processes of conjecture generation
AU  - Samuele Antonini
AU  - Anna Baccaglini-Frank
PY  - 2016
UR  - https://arxiv.org/abs/1605.02582
ID  - 1605.02582
ER  -