TY  - RPRT
TI  - Discovery of Invariants through Automated Theory Formation
AU  - Maria Teresa Llano
AU  - Andrew Ireland
AU  - Alison Pease
PY  - 2011
DO  - 10.4204/eptcs.55.1
UR  - https://arxiv.org/abs/1106.4090
ID  - 1106.4090
ER  -