@Article{Xu2012,
author = {Xu, D N}, 
title = {Hybrid contract checking via symbolic simplification}, 
journal = {}, 
volume = {}, 
number = {}, 
pages = {107--116}, 
year = {2012}, 
abstract = {}, 
location = {}, 
keywords = {}}

{"_id":"zeEPT3T2SxXQFcJRN","bibbaseid":"xu-hybridcontractcheckingviasymbolicsimplification-2012","authorIDs":[],"author_short":["Xu, D N"],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Xu"],"firstnames":["D","N"],"suffixes":[]}],"title":"Hybrid contract checking via symbolic simplification","journal":"","volume":"","number":"","pages":"107–116","year":"2012","abstract":"","location":"","keywords":"","bibtex":"@Article{Xu2012,\nauthor = {Xu, D N}, \ntitle = {Hybrid contract checking via symbolic simplification}, \njournal = {}, \nvolume = {}, \nnumber = {}, \npages = {107--116}, \nyear = {2012}, \nabstract = {}, \nlocation = {}, \nkeywords = {}}\n\n\n","author_short":["Xu, D N"],"key":"Xu2012","id":"Xu2012","bibbaseid":"xu-hybridcontractcheckingviasymbolicsimplification-2012","role":"author","urls":{},"downloads":0},"bibtype":"article","biburl":"https://gist.githubusercontent.com/stuhlmueller/a37ef2ef4f378ebcb73d249fe0f8377a/raw/6f96f6f779501bd9482896af3e4db4de88c35079/references.bib","creationDate":"2020-01-27T02:13:34.356Z","downloads":0,"keywords":[],"search_terms":["hybrid","contract","checking","via","symbolic","simplification","xu"],"title":"Hybrid contract checking via symbolic simplification","year":2012,"dataSources":["hEoKh4ygEAWbAZ5iy"]}