@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},
}
Created on August 4, 2012 at 21:40:58. See the history of this page for a list of all contributions to it.