TITLE : A proof-theoretic account of model-preference default reasoning AUTHOR(S) : Sebastiani F TYPE : Contribution to book YEAR : 1990 CODE : 452753 *** DO NOT EDIT THIS FILE ***