2017-12-062017-12-062012https://dl.gi.de/handle/20.500.12116/84911. Symbolic Computation and its Applications Aachen, 17.­20. Mai 2012deText/Journal Article10.1007/BF033458590933-5994