@conference {376594,
	title = {Belief Revision in Constructive Type Theory},
	booktitle = {Logica 2005 Yearbook},
	year = {2006},
	publisher = {Filosofia Publisher},
	organization = {Filosofia Publisher},
	author = {Primiero, Giuseppe},
	editor = {Bilkova, M and Tomala, O}
}
