@inproceedings{globular,
  title = "Globular: an online proof assistant for higher-dimensional rewriting",
  author = "Krzysztof Bar and Aleks Kissinger and Jamie Vicary",
  year = "2016",
  booktitle = "Proceedings of the 1st International Conference on Formal Structures for Computation and Deduction (FSCD)",
}