@proceedings{OhlbachEtAlARW2000,
  title =         {Proceedings of the 7th Workshop on Automated Reasoning, Bridging the Gap between Theory and Practice},
  editor =        {Hans J\"urgen Ohlbach and Ulrich Endriss and Odinaldo Rodrigues and Stefan Schlobach},
  series =        {CEUR Workshop Proceedings},
  volume =        {32},
  month =         {July},
  year =          {2000},
  optnote =       {Also available as Technical Report TR-00-01, Department of Computer Science, King's College London}
}