@INPROCEEDINGS{Pen00,
  AUTHOR =       {P. Penna},
  TITLE =        {Succinct Representations of Model Based Belief Revision},
  BOOKTITLE =    {17th Annual Symposium on Theoretical Aspects of Computer Science (STACS)},
  YEAR =         {2000},
  volume =       {1770},
  series =       {LNCS},
  pages =        {205-216}
}