2022-03-012022-03-01https://publica.fraunhofer.de/handle/publica/88066International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking (COMPUTATION TOOLS) 2010