1
by Pachler, Norbert, Bachmair, Ben, Cook, John
Published 2010
Springer US