@phdthesis{phdthesis,
	Address = {Universit\`a degli Studi di Udine},
	Author = {Davide Bresolin},
	Date-Added = {2007-05-04 13:01:13 +0200},
	Date-Modified = {2007-05-04 13:06:45 +0200},
	Note = {Forum Editrice, PhD Thesis Series CS 2007},
	School = {Dipartimento di Matematica e Informatica},
	Title = {Proof methods for {Interval Temporal Logics}},
	Year = {2007}
}