TITLE     : A proof-theoretic account of model-preference default reasoning
AUTHOR(S) : Sebastiani F
TYPE      : Other
YEAR      : 1990
CODE      : 452754

*** DO NOT EDIT THIS FILE ***