@inproceedings{BeierleKernIsberner2008ABZ,
  author    = {C. Beierle and
               G. Kern-Isberner},
  title     = {A Verified {AsmL} Implementation of Belief Revision},
  editorNNN    = { },
  booktitleSHORT = {ABZ-2008},
  booktitle     = {Proceedings ABZ-2008, London},
  pagesNNN     = {...},
  eeNNN        = {...},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volumeNNN    = {...},
  year      = {2008},
  isbnNNN      = {...},
  NOTE = "(to appear)"
}