@inproceedings{BeierleKernIsberner2003ASM,
   AUTHOR = "C. Beierle and G. Kern-Isberner",
   EDITOR = {E. B\"{o}rger and A. Gargantini and E. Riccobene},
   TITLE = "Modelling Conditional Knowledge Discovery and Belief Revision by
            {A}bstract {S}tate {M}achines",
   BOOKTITLEshort = "International Workshop on Abstract State 
                     Machines - ASM2003",
   BOOKTITLE = {Abstract State Machines 2003 -- Advances in Theory and 
               Applications, Proceedings 10th International Workshop,
               ASM'2003}, 
   YEAR = 2003,
   VOLUME = 2589,
   PUBLISHER = {Springer},
   SERIES = "Lecture Notes in Computer Science",
   PAGES = "186--203" }