@misc{indiciaee27d2f31baf1,
  title = {Verifying the Smallest Interesting Colour Code with Quantomatic},
  author = {Liam Garvie and Ross Duncan},
  year = {2018},
  doi = {10.4204/eptcs.266.10},
  url = {https://arxiv.org/abs/1706.02717},
  note = {Source identifier: 1706.02717}
}