@InCollection{Olivetti2014,
		  author    = {Olivetti, Nicola and Pozzato, GianLuca},
		    title     = {NESCOND: An Implementation of Nested Sequent Calculi for Conditional Logics},
			  booktitle = {Automated Reasoning},
			    publisher = {Springer},
				  year      = {2014},
				    editor    = {Demri, St{\'{e}}phane and Kapur, Deepak and Weidenbach, Christoph},
					  volume    = {8562},
					    series    = {Lecture Notes in Computer Science},
						  pages     = {511-518},
						  _bla_isbn      = {978-3-319-08586-9},
						  _bla_doi       = {10.1007/978-3-319-08587-6_39},
						    language  = {English},
							 _bla_url       = {http://dx.doi.org/10.1007/978-3-319-08587-6_39},
}

{"_id":"oH8yXycsZcPmSLDbW","bibbaseid":"olivetti-pozzato-nescondanimplementationofnestedsequentcalculiforconditionallogics-2014","authorIDs":[],"author_short":["Olivetti, N.","Pozzato, G."],"bibdata":{"bibtype":"incollection","type":"incollection","author":[{"propositions":[],"lastnames":["Olivetti"],"firstnames":["Nicola"],"suffixes":[]},{"propositions":[],"lastnames":["Pozzato"],"firstnames":["GianLuca"],"suffixes":[]}],"title":"NESCOND: An Implementation of Nested Sequent Calculi for Conditional Logics","booktitle":"Automated Reasoning","publisher":"Springer","year":"2014","editor":[{"propositions":[],"lastnames":["Demri"],"firstnames":["Stéphane"],"suffixes":[]},{"propositions":[],"lastnames":["Kapur"],"firstnames":["Deepak"],"suffixes":[]},{"propositions":[],"lastnames":["Weidenbach"],"firstnames":["Christoph"],"suffixes":[]}],"volume":"8562","series":"Lecture Notes in Computer Science","pages":"511-518","_bla_isbn":"978-3-319-08586-9","_bla_doi":"10.1007/978-3-319-08587-6_39","language":"English","_bla_url":"http://dx.doi.org/10.1007/978-3-319-08587-6_39","bibtex":"@InCollection{Olivetti2014,\n\t\t author = {Olivetti, Nicola and Pozzato, GianLuca},\n\t\t title = {NESCOND: An Implementation of Nested Sequent Calculi for Conditional Logics},\n\t\t\t booktitle = {Automated Reasoning},\n\t\t\t publisher = {Springer},\n\t\t\t\t year = {2014},\n\t\t\t\t editor = {Demri, St{\\'{e}}phane and Kapur, Deepak and Weidenbach, Christoph},\n\t\t\t\t\t volume = {8562},\n\t\t\t\t\t series = {Lecture Notes in Computer Science},\n\t\t\t\t\t\t pages = {511-518},\n\t\t\t\t\t\t _bla_isbn = {978-3-319-08586-9},\n\t\t\t\t\t\t _bla_doi = {10.1007/978-3-319-08587-6_39},\n\t\t\t\t\t\t language = {English},\n\t\t\t\t\t\t\t _bla_url = {http://dx.doi.org/10.1007/978-3-319-08587-6_39},\n}\n\n","author_short":["Olivetti, N.","Pozzato, G."],"editor_short":["Demri, S.","Kapur, D.","Weidenbach, C."],"key":"Olivetti2014","id":"Olivetti2014","bibbaseid":"olivetti-pozzato-nescondanimplementationofnestedsequentcalculiforconditionallogics-2014","role":"author","urls":{},"downloads":0,"html":""},"bibtype":"incollection","biburl":"https://cs.stanford.edu/~yoniz/test.bib","creationDate":"2019-07-02T21:19:47.843Z","downloads":0,"keywords":[],"search_terms":["nescond","implementation","nested","sequent","calculi","conditional","logics","olivetti","pozzato"],"title":"NESCOND: An Implementation of Nested Sequent Calculi for Conditional Logics","year":2014,"dataSources":["ChWnbF8EqSa8nccMs"]}