@inproceedings{Kissinger2009,
  title = "Exploring a Quantum Theory with Graph Rewriting and Computer Algebra",
  author = "Aleks Kissinger",
  year = "2009",
  journal = "Lecture Notes in Artificial Intelligence (LNCS/LNAI)",
  url = "http://www.comlab.ox.ac.uk/people/Aleks.Kissinger/download/kissinger09_cmus.pdf",
}