@article {Amati&96:Mathware,
   AUTHOR = {Amati, Gianni and Aiello, Luigia Carlucci and Pirri, Fiora},
   TITLE = {Default logic as a formalism for understanding commonsense
             reasoning},
   NOTE = {Workshop ``Aspects of Mechanizing Inference: Contexts and
             Problems'' (Naples, 1995)},
   JOURNAL = {Mathware \& Soft Computing},
   VOLUME = {3},
   YEAR = {1996},
   NUMBER = {1-2},
   PAGES = {33--46},
   ISSN = {1134-5632},
}