@InProceedings{Amati&96:KR,
  AUTHOR    = " Amati, Gianni and  Pirri, Fiora",
  TITLE     = "Is there a logic of provability for nonmonotonic  reasoning?",
  PAGES     = "493--505",
  ISBN      = "1-55860-421-9",
  EDITOR    = " Carlucci Aiello, Luigia and  Doyle, Jon and Shapiro, Stuart",
  BOOKTITLE = "Proceedings of the Fifth International Conference on Principles of Knowledge Representation and  Reasoning",
  MONTH     = nov # "~5--8",
  PUBLISHER = "Morgan Kaufmann",
  ADDRESS   = "San Francisco",
  YEAR     = "1996",
}