Media type: E-Article Title: Automated Reasoning: Efficient Algorithms for Computing Modulo Permutation Theories Contributor: Avenhaus, Jürgen imprint: Springer Berlin Heidelberg, 2004 Published in: Automated Reasoning Language: Not determined DOI: 10.1007/978-3-540-25984-8_31 ISSN: 0302-9743; 1611-3349 Origination: Footnote: