Contact us If you have any questions, comments, feedback, etc., please feel free to contact us. We appriciate any comments and suggestions about RevKit. To get in touch with us, simply write a mail to revkit@informatik.uni-bremen.de. RevKit is a collaboration of Mathias Soeken University of Bremen msoeken@informatik.uni-bremen.de Stefan Frehse University of Bremen sfrehse@informatik.uni-bremen.de Robert Wille University of Bremen rwille@informatik.uni-bremen.de Rolf Drechsler University of Bremen drechsle@informatik.uni-bremen.de Aaron Lye University of Bremen lye@informatik.uni-bremen.de