references information updated

NEWPROPOSAL/quantera.bib

@@ -64,15 +64,21 @@
 	Title = {Google is working to safeguard Chrome from quantum computers},
 	Year = {2016}}
-@inproceedings{Garvie2017Verifying-the-S,
-	Author = {Liam Garvie and Ross Duncan},
-	Booktitle = {Proceedings of QPL 2017, to appear},
-	Date-Added = {2017-07-08 11:53:46 +0000},
-	Date-Modified = {2017-07-08 11:53:46 +0000},
-	Eprint = {arXiv:1706.02717},
-	Title = {Verifying the Smallest Interesting Colour Code with Quantomatic},
-	Year = {2017},
-	Bdsk-File-1 = {YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YV8QaS4uLy4uLy4uLy4uLy4uL0RvY3VtZW50cy9SZWFkaW5nL1NjaWVuY2UvcGFwZXJzL0dhcnZpZS9WZXJpZnlpbmcgdGhlIFNtYWxsZXN0IEludGVyZXN0aW5nIENvbG91ciBDb2RlLnBkZtIXCxgZV05TLmRhdGFPEQJMAAAAAAJMAAIAAAxNYWNpbnRvc2ggSEQAAAAAAAAAAAAAAAAAAADOmIcCSCsAAAH7XZ4fVmVyaWZ5aW5nIHRoZSBTbWFsbCMxRjlGMEQzLnBkZgAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAfnw09VjpjQAAAAAAAAAAAAFAAYAAAkgAAAAAAAAAAAAAAAAAAAABkdhcnZpZQAQAAgAAM6YePIAAAARAAgAANVjihQAAAABABwB+12eACcDGQAnAxgAJwMXAAqORQAKjkQAAmR8AAIAak1hY2ludG9zaCBIRDpVc2VyczoAa3diMTMyMTU6AERvY3VtZW50czoAUmVhZGluZzoAU2NpZW5jZToAcGFwZXJzOgBHYXJ2aWU6AFZlcmlmeWluZyB0aGUgU21hbGwjMUY5RjBEMy5wZGYADgBmADIAVgBlAHIAaQBmAHkAaQBuAGcAIAB0AGgAZQAgAFMAbQBhAGwAbABlAHMAdAAgAEkAbgB0AGUAcgBlAHMAdABpAG4AZwAgAEMAbwBsAG8AdQByACAAQwBvAGQAZQAuAHAAZABmAA8AGgAMAE0AYQBjAGkAbgB0AG8AcwBoACAASABEABIAaVVzZXJzL2t3YjEzMjE1L0RvY3VtZW50cy9SZWFkaW5nL1NjaWVuY2UvcGFwZXJzL0dhcnZpZS9WZXJpZnlpbmcgdGhlIFNtYWxsZXN0IEludGVyZXN0aW5nIENvbG91ciBDb2RlLnBkZgAAEwABLwAAFQACAA///wAAgAbSGxwdHlokY2xhc3NuYW1lWCRjbGFzc2VzXU5TTXV0YWJsZURhdGGjHR8gVk5TRGF0YVhOU09iamVjdNIbHCIjXE5TRGljdGlvbmFyeaIiIF8QD05TS2V5ZWRBcmNoaXZlctEmJ1Ryb290gAEACAARABoAIwAtADIANwBAAEYATQBVAGAAZwBqAGwAbgBxAHMAdQB3AIQAjgD6AP8BBwNXA1kDXgNpA3IDgAOEA4sDlAOZA6YDqQO7A74DwwAAAAAAAAIBAAAAAAAAACgAAAAAAAAAAAAAAAAAAAPF}}
+
+@Inproceedings{Garvie2017Verifying-the-S,
+  author    = {Garvie, Liam and Duncan, Ross},
+  year      = {2018},
+  title     = {Verifying the Smallest Interesting Colour Code with Quantomatic},
+  editor    = {Coecke, Bob and Kissinger, Aleks},
+  booktitle = {{\rm Proceedings 14th International Conference on}
+               Quantum Physics and Logic,
+               {\rm Nijmegen, The Netherlands, 3-7 July 2017}},
+  series    = {Electronic Proceedings in Theoretical Computer Science},
+  volume    = {266},
+  publisher = {Open Publishing Association},
+  pages     = {147-163},
+  doi       = {10.4204/EPTCS.266.10},
+}
 @unpublished{BH-2017,
 	Author = {Niel de Beaudrap and Dominic Horsman},
@@ -558,18 +564,19 @@ Logic in Computer Science (LICS)",
 @article{Chancellor2016Coherent-Parity,
 	Abstract = {We present a framework for constructing and analysing quantum error correction codes that gives simple and intuitive tools for designing codes based on device specifications. Built from a direct analog of classical parity checking, these coherent parity codes use a simple model for constraints between qubits and decoding of information. With an associated graphical language, this coherent parity check (CPC) construction enables automated search for codes, and we give discovered examples of low-overhead codes for small devices ([[10,3,3]], and [[12,4,3]]) based on realistic error rates taken from current ion trap state-of-the-art . We show that CPC codes form a class of CSS codes. We further show that the graphical language maps to the category-theoretic ZX calculus, which enables the use of the automated reasoning tool Quantomatic to derive properties of the codes. We show how automated reasoning allows us to perform computation between qubits in the same code-block without requiring multiple codeblocks and/or transversal gates. These tools offer a significant aid to put quantum error correction theory into design practice for practical quantum technologies in both the immediate future and looking forwards to large-scale deployable quantum computing. Furthermore, the close theoretical link between the CPC construction and classical error correction codes opens up the possibility of constructing quantum versions of modern high- performance error correction codes (such as LDPC and turbo codes) that approach the Shannon limit.},
-	Author = {Nicholas Chancellor and Aleks Kissinger and Stefan Zohren and Dominic Horsman},
+	Author = {Nicholas Chancellor and Aleks Kissinger and Joschka Roffe and Stefan Zohren and Dominic Horsman},
 	Citation_Arxiv_Id = {1611.08012},
 	Citation_Author = {Horsman, Dominic},
 	Citation_Date = {2016/11/23},
 	Citation_Online_Date = {2016/11/23},
 	Citation_Pdf_Url = {http://arxiv.org/pdf/1611.08012},
-	Citation_Title = {Coherent Parity Check Construction for Quantum Error Correction},
+	Citation_Title = {Graphical Structures for Design and Verification of Quantum Error Correction},
 	Date-Added = {2016-12-24 11:21:45 +0000},
 	Date-Modified = {2016-12-24 11:21:45 +0000},
 	Eprint = {arXiv:1611.08012},
-	Journal = {arXiv.org preprint},
-	Title = {Coherent Parity Check Construction for Quantum Error Correction},
+	Journal = {arXiv.org},
+	Number = {1611.08012}, 
+	Title = {Graphical Structures for Design and Verification of Quantum Error Correction},
 	Year = {2016},
 	Bdsk-File-1 = {YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YV8QbS4uLy4uLy4uLy4uLy4uL0RvY3VtZW50cy9SZWFkaW5nL1NjaWVuY2UvcGFwZXJzL0NoYW5jZWxsb3IvQ29oZXJlbnQgUGFyaXR5IENoZWNrIENvbnN0cnVjdGlvbiBmb3IgUXVhbnR1bS5wZGbSFwsYGVdOUy5kYXRhTxECWAAAAAACWAACAAAMTWFjaW50b3NoIEhEAAAAAAAAAAAAAAAAAAAAzpiHAkgrAAABqEGmH0NvaGVyZW50IFBhcml0eSBDaGUjMUE2MjczQi5wZGYAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAGmJzvUYUUvAAAAAAAAAAAABQAGAAAJIAAAAAAAAAAAAAAAAAAAAApDaGFuY2VsbG9yABAACAAAzph48gAAABEACAAA1GE3HwAAAAEAHAGoQaYAJwMZACcDGAAnAxcACo5FAAqORAACZHwAAgBuTWFjaW50b3NoIEhEOlVzZXJzOgBrd2IxMzIxNToARG9jdW1lbnRzOgBSZWFkaW5nOgBTY2llbmNlOgBwYXBlcnM6AENoYW5jZWxsb3I6AENvaGVyZW50IFBhcml0eSBDaGUjMUE2MjczQi5wZGYADgBmADIAQwBvAGgAZQByAGUAbgB0ACAAUABhAHIAaQB0AHkAIABDAGgAZQBjAGsAIABDAG8AbgBzAHQAcgB1AGMAdABpAG8AbgAgAGYAbwByACAAUQB1AGEAbgB0AHUAbQAuAHAAZABmAA8AGgAMAE0AYQBjAGkAbgB0AG8AcwBoACAASABEABIAbVVzZXJzL2t3YjEzMjE1L0RvY3VtZW50cy9SZWFkaW5nL1NjaWVuY2UvcGFwZXJzL0NoYW5jZWxsb3IvQ29oZXJlbnQgUGFyaXR5IENoZWNrIENvbnN0cnVjdGlvbiBmb3IgUXVhbnR1bS5wZGYAABMAAS8AABUAAgAP//8AAIAG0hscHR5aJGNsYXNzbmFtZVgkY2xhc3Nlc11OU011dGFibGVEYXRhox0fIFZOU0RhdGFYTlNPYmplY3TSGxwiI1xOU0RpY3Rpb25hcnmiIiBfEA9OU0tleWVkQXJjaGl2ZXLRJidUcm9vdIABAAgAEQAaACMALQAyADcAQABGAE0AVQBgAGcAagBsAG4AcQBzAHUAdwCEAI4A/gEDAQsDZwNpA24DeQOCA5ADlAObA6QDqQO2A7kDywPOA9MAAAAAAAACAQAAAAAAAAAoAAAAAAAAAAAAAAAAAAAD1Q==}}
@@ -3786,9 +3793,10 @@ well.},
 @article{NW-2018,
   author={Kang Feng Ng and Quanlong Wang},
-  title={Completeness of the ZX-calculus for Pure Qubit Clifford+T Quantum Mechanics},
-  year=2018,
-  preprint={arXiv:1801.07993}
+  title={Completeness of the {ZX}-calculus for Pure Qubit {Clifford}+{T} Quantum Mechanics},
+  Journal = {arXiv.org},
+  Number = {1801.07993},
+  year=2018
 }
 @article{NW-2017,
@@ -3801,8 +3809,9 @@ well.},
 @article{DKPdW-2019,
    author={Ross Duncan and Aleks Kissinger and Simon Pedrix and John van de Wetering},
    title={Graph-theoretic Simplification of Quantum Circuits with the {ZX}-calculus},
-   year=2019,
-   preprint={arXiv:1902.03178}
+   Journal = {arXiv.org},
+  Number = {1902.03178}, 
+   year=2019
 }
 @article{Raphael-Dias-da-Silva:2013aa,