@book{gebser_answer_2013,
	address = {Cham},
	series = {Synthesis {Lectures} on {Artificial} {Intelligence} and {Machine} {Learning}},
	title = {Answer {Set} {Solving} in {Practice}},
	isbn = {978-3-031-00433-9 978-3-031-01561-8},
	url = {https://link.springer.com/10.1007/978-3-031-01561-8},
	language = {en},
	urldate = {2023-03-01},
	publisher = {Springer International Publishing},
	author = {Gebser, Martin and Kaminski, Roland and Kaufmann, Benjamin and Schaub, Torsten},
	year = {2013},
	doi = {10.1007/978-3-031-01561-8},
}

{"_id":"gafxZcRuDBktbaYiS","bibbaseid":"gebser-kaminski-kaufmann-schaub-answersetsolvinginpractice-2013","author_short":["Gebser, M.","Kaminski, R.","Kaufmann, B.","Schaub, T."],"bibdata":{"bibtype":"book","type":"book","address":"Cham","series":"Synthesis Lectures on Artificial Intelligence and Machine Learning","title":"Answer Set Solving in Practice","isbn":"978-3-031-00433-9 978-3-031-01561-8","url":"https://link.springer.com/10.1007/978-3-031-01561-8","language":"en","urldate":"2023-03-01","publisher":"Springer International Publishing","author":[{"propositions":[],"lastnames":["Gebser"],"firstnames":["Martin"],"suffixes":[]},{"propositions":[],"lastnames":["Kaminski"],"firstnames":["Roland"],"suffixes":[]},{"propositions":[],"lastnames":["Kaufmann"],"firstnames":["Benjamin"],"suffixes":[]},{"propositions":[],"lastnames":["Schaub"],"firstnames":["Torsten"],"suffixes":[]}],"year":"2013","doi":"10.1007/978-3-031-01561-8","bibtex":"@book{gebser_answer_2013,\n\taddress = {Cham},\n\tseries = {Synthesis {Lectures} on {Artificial} {Intelligence} and {Machine} {Learning}},\n\ttitle = {Answer {Set} {Solving} in {Practice}},\n\tisbn = {978-3-031-00433-9 978-3-031-01561-8},\n\turl = {https://link.springer.com/10.1007/978-3-031-01561-8},\n\tlanguage = {en},\n\turldate = {2023-03-01},\n\tpublisher = {Springer International Publishing},\n\tauthor = {Gebser, Martin and Kaminski, Roland and Kaufmann, Benjamin and Schaub, Torsten},\n\tyear = {2013},\n\tdoi = {10.1007/978-3-031-01561-8},\n}\n\n\n\n\n\n\n\n","author_short":["Gebser, M.","Kaminski, R.","Kaufmann, B.","Schaub, T."],"key":"gebser_answer_2013","id":"gebser_answer_2013","bibbaseid":"gebser-kaminski-kaufmann-schaub-answersetsolvinginpractice-2013","role":"author","urls":{"Paper":"https://link.springer.com/10.1007/978-3-031-01561-8"},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"book","biburl":"https://bibbase.org/zotero/matteocarde","dataSources":["BLJPWpPi3hneTGaPF"],"keywords":[],"search_terms":["answer","set","solving","practice","gebser","kaminski","kaufmann","schaub"],"title":"Answer Set Solving in Practice","year":2013}