TY  - RPRT
TI  - A framework for the automation of generalised stability theory
AU  - Patrick E. Farrell
AU  - Colin J. Cotter
AU  - Simon W. Funke
PY  - 2013
UR  - https://arxiv.org/abs/1211.6989
ID  - 1211.6989
ER  -