@TechReport{allwein14,
  author = 	 {Gerard Allwein and William L. Harrison},
  title = 	 {{Distributed Logics}},
  institution =  {US Naval Research Laboratory},
  number =       "NRL/MR/5540-14-9565",
  year = 	 2014,
  htr =          "yes",
  url_Paper =    "https://harrisonwl.github.io/assets/papers/dist-logics-tech-report.pdf",
}

{"_id":"oaG64iBgcwQ9ZWu8g","bibbaseid":"allwein-harrison-distributedlogics-2014","downloads":3,"creationDate":"2016-08-19T16:26:21.312Z","title":"Distributed Logics","author_short":["Allwein, G.","Harrison, W. L."],"year":2014,"bibtype":"techreport","biburl":"https://harrisonwl.github.io/assets/bibliography/harrison.bib","bibdata":{"bibtype":"techreport","type":"techreport","author":[{"firstnames":["Gerard"],"propositions":[],"lastnames":["Allwein"],"suffixes":[]},{"firstnames":["William","L."],"propositions":[],"lastnames":["Harrison"],"suffixes":[]}],"title":"Distributed Logics","institution":"US Naval Research Laboratory","number":"NRL/MR/5540-14-9565","year":"2014","htr":"yes","url_paper":"https://harrisonwl.github.io/assets/papers/dist-logics-tech-report.pdf","bibtex":"@TechReport{allwein14,\n author = \t {Gerard Allwein and William L. Harrison},\n title = \t {{Distributed Logics}},\n institution = {US Naval Research Laboratory},\n number = \"NRL/MR/5540-14-9565\",\n year = \t 2014,\n htr = \"yes\",\n url_Paper = \"https://harrisonwl.github.io/assets/papers/dist-logics-tech-report.pdf\",\n}\n\n","author_short":["Allwein, G.","Harrison, W. L."],"key":"allwein14","id":"allwein14","bibbaseid":"allwein-harrison-distributedlogics-2014","role":"author","urls":{" paper":"https://harrisonwl.github.io/assets/papers/dist-logics-tech-report.pdf"},"metadata":{"authorlinks":{"harrison, w":"https://harrisonwl.github.io/etc/publications.html"}},"downloads":3},"search_terms":["distributed","logics","allwein","harrison"],"keywords":[],"authorIDs":["5dc475579b60c2df010000fb","5dee581feaaee4df01000254","5df9dbe338a7afde010000b8","5e03c9676d2066de01000013","5e2b8df4f92538df01000009","5e55f36cc2c8a2df010000f1","5e64fd0d5fc0b7de010000d4","BPp6pLGb3wvE8tPNi","GrcodozaBpTrw2nXH","NmXf49aeDyLF3AL8F","a66s2jJ42S97qQxnX","iCiuqX2A39oLpzRv9","njB2ZmsnMejPsL7oC","uBWQddfiBuSzTqKrJ","xkL56M792TvXx8Hef"],"dataSources":["wAeScLDKnpPTHdYwg","uCveoExKMHQNZnZCp"]}