@article {Amati&97:AIJ,
   AUTHOR = {Amati, Gianni and Carlucci Aiello, Luigia and Pirri, Fiora},
   TITLE = {Definability and commonsense reasoning},
   JOURNAL = {Artificial Intelligence},
   FJOURNAL = {Artificial Intelligence},
   VOLUME = {93},
   YEAR = {1997},
   NUMBER = {1-2},
   PAGES = {169--199},
   ISSN = {0004-3702},
}