@inproceedings{DBLP:conf/vl/BurtonL15,
  author       = {Jim Burton and
                  Sven Linker},
  editor       = {Zhen Li and
                  Claudia Ermel and
                  Scott D. Fleming},
  title        = {Generating readable diagrammatic proofs},
  booktitle    = {2015 {IEEE} Symposium on Visual Languages and Human-Centric Computing,
                  {VL/HCC} 2015, Atlanta, GA, USA, October 18-22, 2015},
  pages        = {307--308},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/VLHCC.2015.7357240},
  doi          = {10.1109/VLHCC.2015.7357240},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vl/BurtonL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"jCFbdv4km6QQoSLm4","bibbaseid":"burton-linker-generatingreadablediagrammaticproofs-2015","author_short":["Burton, J.","Linker, S."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Jim"],"propositions":[],"lastnames":["Burton"],"suffixes":[]},{"firstnames":["Sven"],"propositions":[],"lastnames":["Linker"],"suffixes":[]}],"editor":[{"firstnames":["Zhen"],"propositions":[],"lastnames":["Li"],"suffixes":[]},{"firstnames":["Claudia"],"propositions":[],"lastnames":["Ermel"],"suffixes":[]},{"firstnames":["Scott","D."],"propositions":[],"lastnames":["Fleming"],"suffixes":[]}],"title":"Generating readable diagrammatic proofs","booktitle":"2015 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2015, Atlanta, GA, USA, October 18-22, 2015","pages":"307–308","publisher":"IEEE Computer Society","year":"2015","url":"https://doi.org/10.1109/VLHCC.2015.7357240","doi":"10.1109/VLHCC.2015.7357240","timestamp":"Thu, 23 Mar 2023 00:00:00 +0100","biburl":"https://dblp.org/rec/conf/vl/BurtonL15.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/vl/BurtonL15,\n author = {Jim Burton and\n Sven Linker},\n editor = {Zhen Li and\n Claudia Ermel and\n Scott D. Fleming},\n title = {Generating readable diagrammatic proofs},\n booktitle = {2015 {IEEE} Symposium on Visual Languages and Human-Centric Computing,\n {VL/HCC} 2015, Atlanta, GA, USA, October 18-22, 2015},\n pages = {307--308},\n publisher = {{IEEE} Computer Society},\n year = {2015},\n url = {https://doi.org/10.1109/VLHCC.2015.7357240},\n doi = {10.1109/VLHCC.2015.7357240},\n timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/vl/BurtonL15.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Burton, J.","Linker, S."],"editor_short":["Li, Z.","Ermel, C.","Fleming, S. D."],"key":"DBLP:conf/vl/BurtonL15","id":"DBLP:conf/vl/BurtonL15","bibbaseid":"burton-linker-generatingreadablediagrammaticproofs-2015","role":"author","urls":{"Paper":"https://doi.org/10.1109/VLHCC.2015.7357240"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/48/8323.bib","dataSources":["viaGT23rwj7vKvjeq"],"keywords":[],"search_terms":["generating","readable","diagrammatic","proofs","burton","linker"],"title":"Generating readable diagrammatic proofs","year":2015}