@Article{BSL97,
    note =        "Abstract of the invited talk in the Special Session 
  in Non-monotonic Logic, Logic Colloquium 95, Haifa Israel",
   title =       "Provability Logic for Default Reasoning",
   author =       " Amati,Gianni and Carlucci Aiello, Luigia  and 
   Gabbay, Dov  and  Pirri, Fiora",
  journal =      "Bulletin of Symbolic Logic",
  volume =       "3",
  number =       "1",
  pages =         "110--111",
month = mar, 
  year =         "1997",
ISSN = "1079-8986",
}