1. Edward L. Green and Øyvind Solberg, An algorithmic approach to resolutions, J. Symbolic Comput. 42 (2007), no. 11-12, 1012–1033.[MR]
  2. Gerhard O. Michler and Øyvind Solberg, Testing modules of groups of even order for simplicity, J. Algebra 202 (1998), no. 1, 229–242.[MR]