Tijn Borghuis Fairouz Kamareddine Rob Nederpelt Formalizing Belief Revision in Type Theory. 461-500 2002 10 Logic Journal of the IGPL 5 http://www3.oup.co.uk/igpl/Volume_10/Issue_05/#Borghuis db/journals/igpl/igpl10.html#BorghuisKN02