Part IV: CASL Logic<pre>@incollection{MHAH-04-a,
  author        = {Till Mossakowski and Piotr Hoffman and Serge Autexier and Dieter Hutter},
  editor        = {Mosses, Peter D.},
  booktitle     = {CASL Reference Manual },
  title         = {Part IV: CASL Logic},
  volume        = {2960},
  series        = {LNCS},
  publisher     = {Springer},
  pages         = {275-362},
  year          = {2004},
}
</pre>