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]
@inproceedings{LuttichM06,
title = {Reasoning Support for Caslwith Automated Theorem Proving Systems},
author = {Klaus Lüttich and Till Mossakowski},
year = {2006},
doi = {10.1007/978-3-540-71998-4_5},
url = {http://dx.doi.org/10.1007/978-3-540-71998-4_5},
researchr = {https://researchr.org/publication/LuttichM06},
cites = {0},
citedby = {0},
pages = {74-91},
booktitle = {Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers},
editor = {José Luiz Fiadeiro and Pierre Yves Schobbens},
volume = {4409},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-71997-7},
}