@phdthesis{phdthesis,
	Address = {Universit\`a degli Studi di Udine},
	Author = {D. Bresolin},
	Date-Added = {2007-05-04 13:01:13 +0200},
	Date-Modified = {2014-08-27 13:35:20 +0200},
	Gcited = {3},
	Note = {Forum Editrice, PhD Thesis Series CS 2007},
	Numpages = 33,
	Publisher = {Forum Editrice},
	School = {Dipartimento di Matematica e Informatica},
	Title = {Proof methods for {Interval Temporal Logics}},
	Year = {2007}}

{"_id":"R2synnSvSSRmL4L2z","bibbaseid":"bresolin-proofmethodsforintervaltemporallogics-2007","author_short":["Bresolin, D."],"bibdata":{"bibtype":"phdthesis","type":"phdthesis","address":"Università degli Studi di Udine","author":[{"firstnames":["D."],"propositions":[],"lastnames":["Bresolin"],"suffixes":[]}],"date-added":"2007-05-04 13:01:13 +0200","date-modified":"2014-08-27 13:35:20 +0200","gcited":"3","note":"Forum Editrice, PhD Thesis Series CS 2007","numpages":"33","publisher":"Forum Editrice","school":"Dipartimento di Matematica e Informatica","title":"Proof methods for Interval Temporal Logics","year":"2007","bibtex":"@phdthesis{phdthesis,\n\tAddress = {Universit\\`a degli Studi di Udine},\n\tAuthor = {D. Bresolin},\n\tDate-Added = {2007-05-04 13:01:13 +0200},\n\tDate-Modified = {2014-08-27 13:35:20 +0200},\n\tGcited = {3},\n\tNote = {Forum Editrice, PhD Thesis Series CS 2007},\n\tNumpages = 33,\n\tPublisher = {Forum Editrice},\n\tSchool = {Dipartimento di Matematica e Informatica},\n\tTitle = {Proof methods for {Interval Temporal Logics}},\n\tYear = {2007}}\n\n","author_short":["Bresolin, D."],"key":"phdthesis","id":"phdthesis","bibbaseid":"bresolin-proofmethodsforintervaltemporallogics-2007","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"phdthesis","biburl":"https://www.math.unipd.it/~bresolin/papers/biblio-it.bib","dataSources":["S2GkQK7zrj9q2HwGy"],"keywords":[],"search_terms":["proof","methods","interval","temporal","logics","bresolin"],"title":"Proof methods for Interval Temporal Logics","year":2007}