Algorithms and classification in combinatorial group theory | lit.salon