@inproceedings{BeierleKernIsberner2008ABZ,
  author    = {C. Beierle and G. Kern-Isberner},
  title     = {A Verified {AsmL} Implementation of Belief Revision},
  editor    = {E. B\"{o}rger and M. Butler and J. P. Bowen and 
               P. Boca},
  booktitleSHORT = {ABZ},
  booktitle  = {Abstract State Machines, B and Z, First International Conference,
               ABZ 2008, London, UK, September 16-18, 2008. Proceedings},
  year      = {2008},
  pages     = {98-111},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {5238},
  isbn      = {978-3-540-87602-1},
  ee        = {http://dx.doi.org/10.1007/978-3-540-87603-8_9}  }