Sarah Rees Leonard H. Soicher An Algorithmic Approach to Fundamental Groups and Covers of Combinatorial Cell Complexes. 59-77 2000 29 J. Symb. Comput. 1 db/journals/jsc/jsc29.html#ReesS00