TY - CONF T1 - Belief Revision in Constructive Type Theory T2 - Logica 2005 Yearbook Y1 - 2006 A1 - Primiero, Giuseppe ED - Bilkova, M ED - Tomala, O JA - Logica 2005 Yearbook PB - Filosofia Publisher ER -