@misc{indiciae78ca6a2e471b,
  title = {A framework for the automation of generalised stability theory},
  author = {Patrick E. Farrell and Colin J. Cotter and Simon W. Funke},
  year = {2013},
  url = {https://arxiv.org/abs/1211.6989},
  note = {Source identifier: 1211.6989}
}