An automated proof theory approach to computation with permutation groups

Arjeh M. Cohen, Scott H. Murray

Abstract

This is an introduction to data structures for permutation groups with a proof-theoretic flavour.