@misc{griggio_introduction_2014,
	title = {Introduction to {SMT}},
	url = {http://satsmt2014.forsyte.at/files/2014/07/SMT-introduction.pdf},
	urldate = {2018-10-18},
	author = {Griggio, Alberto},
	year = {2014},
	keywords = {smt}
}

{"_id":"Qt9nxPfbnK599SY6o","bibbaseid":"griggio-introductiontosmt-2014","authorIDs":[],"author_short":["Griggio, A."],"bibdata":{"bibtype":"misc","type":"misc","title":"Introduction to SMT","url":"http://satsmt2014.forsyte.at/files/2014/07/SMT-introduction.pdf","urldate":"2018-10-18","author":[{"propositions":[],"lastnames":["Griggio"],"firstnames":["Alberto"],"suffixes":[]}],"year":"2014","keywords":"smt","bibtex":"@misc{griggio_introduction_2014,\n\ttitle = {Introduction to {SMT}},\n\turl = {http://satsmt2014.forsyte.at/files/2014/07/SMT-introduction.pdf},\n\turldate = {2018-10-18},\n\tauthor = {Griggio, Alberto},\n\tyear = {2014},\n\tkeywords = {smt}\n}\n\n","author_short":["Griggio, A."],"key":"griggio_introduction_2014","id":"griggio_introduction_2014","bibbaseid":"griggio-introductiontosmt-2014","role":"author","urls":{"Paper":"http://satsmt2014.forsyte.at/files/2014/07/SMT-introduction.pdf"},"keyword":["smt"],"downloads":0},"bibtype":"misc","biburl":"https://bibbase.org/zotero/tillhofmann","creationDate":"2019-12-09T14:42:18.257Z","downloads":0,"keywords":["smt"],"search_terms":["introduction","smt","griggio"],"title":"Introduction to SMT","year":2014,"dataSources":["9pYjFWPBodPyDyb7N"]}