@article {Amati&95:JOLLI,
   AUTHOR = {Amati, Gianni and {Carlucci Aiello}, Luigia and Pirri, Fiora},
    TITLE = {Defaults as restrictions on classical {H}ilbert-style proofs},
  JOURNAL = {Journal of Logic, Language and Information},
 FJOURNAL = {Journal of Logic, Language and Information},
   VOLUME = {3},
     YEAR = {1995},
   NUMBER = {4},
    PAGES = {303--326},
     ISSN = {0925-8531},
}