Computational and experimental group theory : AMS-ASL joint special session, interactions between logic, group theory and computer science, January 15-16, 2003, Baltimore, Maryland - Borovik, Alexandre V.; Myasnikov, Alexei G. (American Mathematical Society, 2004)