@Proceedings{OhlbachEndrissRodriguesSchlobach2000,
  title =        {Proceedings of the Seventh 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},
  url =          {http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/Vol-32/},
  note =         {Also available as Technical Report TR-00-01, Department of Computer Science, King's College London}
}