Publication

Part IV: CASL Logic

Till Mossakowski, P. Hoffman, Serge Autexier, Dieter Hutter

In: Bernd Krieg-Brückner, P. Mosses (editor). The CASL Reference Manual. LNCS 2960 Springer 2004.

German Research Center for Artificial Intelligence
Deutsches Forschungszentrum für Künstliche Intelligenz