Part IV: CASL Logic

@incollection{pub1634,
    author = {

Mossakowski, Till
 and 

Hoffman, P.
 and 

Autexier, Serge
 and 

Hutter, Dieter
},
    editor = {

Krieg-Brückner, Bernd
 and 

Mosses, P.
},
    title = {Part IV: CASL Logic},
    booktitle = {The CASL Reference Manual},
    series = {LNCS},
    year = {2004},
    volume = {2960},
    publisher = {Springer}
}