@article{Noschinski2014,
  title        = {A Graph Library for Isabelle},
  author       = {Lars Noschinski},
  year         = 2014,
  month        = jun,
  journal      = {Mathematics in Computer Science},
  publisher    = {Springer Science and Business Media {LLC}},
  volume       = 9,
  number       = 1,
  pages        = {23--39},
  doi          = {10.1007/s11786-014-0183-z},
  url          = {https://doi.org/10.1007/s11786-014-0183-z},
}

{"_id":"9j4PKKoxXFcbA4NgJ","bibbaseid":"noschinski-agraphlibraryforisabelle-2014","author_short":["Noschinski, L."],"bibdata":{"bibtype":"article","type":"article","title":"A Graph Library for Isabelle","author":[{"firstnames":["Lars"],"propositions":[],"lastnames":["Noschinski"],"suffixes":[]}],"year":"2014","month":"June","journal":"Mathematics in Computer Science","publisher":"Springer Science and Business Media LLC","volume":"9","number":"1","pages":"23–39","doi":"10.1007/s11786-014-0183-z","url":"https://doi.org/10.1007/s11786-014-0183-z","bibtex":"@article{Noschinski2014,\n title = {A Graph Library for Isabelle},\n author = {Lars Noschinski},\n year = 2014,\n month = jun,\n journal = {Mathematics in Computer Science},\n publisher = {Springer Science and Business Media {LLC}},\n volume = 9,\n number = 1,\n pages = {23--39},\n doi = {10.1007/s11786-014-0183-z},\n url = {https://doi.org/10.1007/s11786-014-0183-z},\n}\n\n","author_short":["Noschinski, L."],"key":"Noschinski2014","id":"Noschinski2014","bibbaseid":"noschinski-agraphlibraryforisabelle-2014","role":"author","urls":{"Paper":"https://doi.org/10.1007/s11786-014-0183-z"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"https://bibbase.org/f/Gnwbc34Hkr4ELKWdc/ref.bib","dataSources":["CC7dawDvD4eaYGJSr"],"keywords":[],"search_terms":["graph","library","isabelle","noschinski"],"title":"A Graph Library for Isabelle","year":2014}