@misc{indiciae0d45454900c2,
  title = {On Building a Knowledge Base for Stability Theory},
  author = {Agnieszka Rowinska-Schwarzweller and Christoph Schwarzweller},
  year = {2010},
  url = {https://arxiv.org/abs/1005.0917},
  note = {Source identifier: 1005.0917}
}