@misc{norrish2007hol,
author = {Norrish, Michael and Slind, Konrad},
title = {{The HOL system description}},
year = {2007}
}

{"_id":"pigtL26EsJGZ9ohAA","bibbaseid":"norrish-slind-theholsystemdescription-2007","downloads":0,"creationDate":"2017-09-01T03:35:40.579Z","title":"The HOL system description","author_short":["Norrish, M.","Slind, K."],"year":2007,"bibtype":"misc","biburl":"https://raw.githubusercontent.com/jonaprieto/athena/master/paper/ref.bib","bibdata":{"bibtype":"misc","type":"misc","author":[{"propositions":[],"lastnames":["Norrish"],"firstnames":["Michael"],"suffixes":[]},{"propositions":[],"lastnames":["Slind"],"firstnames":["Konrad"],"suffixes":[]}],"title":"The HOL system description","year":"2007","bibtex":"@misc{norrish2007hol,\nauthor = {Norrish, Michael and Slind, Konrad},\ntitle = {{The HOL system description}},\nyear = {2007}\n}\n","author_short":["Norrish, M.","Slind, K."],"key":"norrish2007hol","id":"norrish2007hol","bibbaseid":"norrish-slind-theholsystemdescription-2007","role":"author","urls":{},"downloads":0},"search_terms":["hol","system","description","norrish","slind"],"keywords":[],"authorIDs":[],"dataSources":["8jafqMAWgB7XP4FTZ"]}