PATCH Graphs: An Efficient Data Structure for Completion of Finitely Presented Groups.

Christopher Lynch Polina Strogova PATCH Graphs: An Efficient Data Structure for Completion of Finitely Presented Groups. 176-190 1996 conf/aisc/1996 AISMC db/conf/aisc/aismc1996.html#LynchS96