Klaus Lüttich, Till Mossakowski. Reasoning Support for Caslwith Automated Theorem Proving Systems. In José Luiz Fiadeiro, Pierre Yves Schobbens, editors, Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers. Volume 4409 of Lecture Notes in Computer Science, pages 74-91, Springer, 2006. [doi]