book-chapter · 2012A Method for Symbolic Computation of Abstract Operations58 citationsDOI: https://doi.org/10.1007/978-3-642-31424-7_17