Iranian Mathematical Society (IMS) Bulletin of the Iranian Mathematical Society 1017-060X 37 No. 4 2011 12 15 Proving the efficiency of pro-2-groups of fixed co-classes73 80 en A. Arjomandfar H. Doostie 2009 12 09 Pro-2-groups modified Todd-Coxeter algorithm