@techreport{Kleymann98,
  author = {T. Kleymann},
  title = {{Metatheory of Verification Calculi in LEGO: To What
                  Extent Does Syntax Matter?}},
  institution = {LFCS},
  year = 1998,
  number = {98-393},
  month = {September},
  url = {http://www.dcs.ed.ac.uk/lfcsreps/EXPORT/98/ECS-LFCS-98-393/ECS-LFCS-98-393.ps.gz}
}

{"_id":"GF59oQtqPFdRqrJ2W","bibbaseid":"kleymann-metatheoryofverificationcalculiinlegotowhatextentdoessyntaxmatter-1998","downloads":0,"creationDate":"2016-02-08T21:26:15.795Z","title":"Metatheory of Verification Calculi in LEGO: To What Extent Does Syntax Matter?","author_short":["Kleymann, T."],"year":1998,"bibtype":"techreport","biburl":"http://wwwrobot.gmc.ulaval.ca/~sifou11/test.bib","bibdata":{"bibtype":"techreport","type":"techreport","author":[{"firstnames":["T."],"propositions":[],"lastnames":["Kleymann"],"suffixes":[]}],"title":"Metatheory of Verification Calculi in LEGO: To What Extent Does Syntax Matter?","institution":"LFCS","year":"1998","number":"98-393","month":"September","url":"http://www.dcs.ed.ac.uk/lfcsreps/EXPORT/98/ECS-LFCS-98-393/ECS-LFCS-98-393.ps.gz","bibtex":"@techreport{Kleymann98,\r\n author = {T. Kleymann},\r\n title = {{Metatheory of Verification Calculi in LEGO: To What\r\n Extent Does Syntax Matter?}},\r\n institution = {LFCS},\r\n year = 1998,\r\n number = {98-393},\r\n month = {September},\r\n url = {http://www.dcs.ed.ac.uk/lfcsreps/EXPORT/98/ECS-LFCS-98-393/ECS-LFCS-98-393.ps.gz}\r\n}\r\n\r\n","author_short":["Kleymann, T."],"key":"Kleymann98","id":"Kleymann98","bibbaseid":"kleymann-metatheoryofverificationcalculiinlegotowhatextentdoessyntaxmatter-1998","role":"author","urls":{"Paper":"http://www.dcs.ed.ac.uk/lfcsreps/EXPORT/98/ECS-LFCS-98-393/ECS-LFCS-98-393.ps.gz"},"downloads":0},"search_terms":["metatheory","verification","calculi","lego","extent","syntax","matter","kleymann"],"keywords":[],"authorIDs":[],"dataSources":["sXvnoL4HXbgjkkbej"]}