@Article{DeMoura2009,
author = {De Moura, Leonardo and Bjørner, Nikolaj}, 
title = {Satisfiability modulo theories: An appetizer}, 
journal = {Formal Methods: Foundations and Applications}, 
volume = {}, 
number = {}, 
pages = {23--36}, 
year = {2009}, 
abstract = {}, 
location = {}, 
keywords = {}}

{"_id":"DRHvaeqS7Pp6nDGR3","bibbaseid":"demoura-bjrner-satisfiabilitymodulotheoriesanappetizer-2009","authorIDs":[],"author_short":["De Moura, L.","Bjørner, N."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["De","Moura"],"firstnames":["Leonardo"],"suffixes":[]},{"propositions":[],"lastnames":["Bjørner"],"firstnames":["Nikolaj"],"suffixes":[]}],"title":"Satisfiability modulo theories: An appetizer","journal":"Formal Methods: Foundations and Applications","volume":"","number":"","pages":"23–36","year":"2009","abstract":"","location":"","keywords":"","bibtex":"@Article{DeMoura2009,\nauthor = {De Moura, Leonardo and Bjørner, Nikolaj}, \ntitle = {Satisfiability modulo theories: An appetizer}, \njournal = {Formal Methods: Foundations and Applications}, \nvolume = {}, \nnumber = {}, \npages = {23--36}, \nyear = {2009}, \nabstract = {}, \nlocation = {}, \nkeywords = {}}\n\n\n","author_short":["De Moura, L.","Bjørner, N."],"key":"DeMoura2009","id":"DeMoura2009","bibbaseid":"demoura-bjrner-satisfiabilitymodulotheoriesanappetizer-2009","role":"author","urls":{},"downloads":0},"bibtype":"article","biburl":"https://gist.githubusercontent.com/stuhlmueller/a37ef2ef4f378ebcb73d249fe0f8377a/raw/6f96f6f779501bd9482896af3e4db4de88c35079/references.bib","creationDate":"2020-01-27T02:13:34.470Z","downloads":0,"keywords":[],"search_terms":["satisfiability","modulo","theories","appetizer","de moura","bjørner"],"title":"Satisfiability modulo theories: An appetizer","year":2009,"dataSources":["hEoKh4ygEAWbAZ5iy"]}