@incollection{MossakowskiEtAl04,
  added-at = {2016-08-05T15:59:03.000+0200},
  author = {Mossakowski, Till and Hoffman, Piotr and Autexier, Serge and Hutter, Dieter},
  biburl = {https://www.bibsonomy.org/bibtex/2da1b345e15042e580f280b61ca1f0a55/tillmo},
  booktitle = {CASL Reference Manual},
  chapter = {{\"I}V},
  editor = {Mosses, Peter D.},
  interhash = {861a7e31a98efa58ec1f95dd7e7c4ddd},
  intrahash = {da1b345e15042e580f280b61ca1f0a55},
  isbn = {3-540-21301-5},
  keywords = {CASL logic proof},
  note = {Ëdited by T. Mossakowski},
  publisher = {Springer Verlag, London},
  series = {Lecture Notes in Computer Science},
  status = {Reviewed},
  timestamp = {2016-08-05T15:59:03.000+0200},
  title = {{CASL} Logic},
  type = {Part},
  url = {http://www.springerlink.com/(bt4qw245oavupgzdxw3zpuul)/app/home/contribution.asp?referrer=parent&backto=searchcitationsresults,26,38;},
  volume = 2960,
  year = 2004
}