@ARTICLE{ borghuis:formalizing, AUTHOR = "Tijn Borghuis and Fairouz Kamareddine and Rob Nederpelt", TITLE = "Formalizing Belief Revision in Type Theory", JOURNAL = "Logic Journal of the IGPL", PAGES = {461-500}, YEAR = {2002}, }