Part IV: CASL Logic
@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}, }