%0 Report %T Analysis of Dehn algorithm by critical pairs %+ INRIA Rocquencourt %A Le Chenadec, Philippe %N RR-0438 %I INRIA %8 1985-08 %D 1985 %Z Computer Science [cs]/Other [cs.OH]Reports %G English %2 https://inria.hal.science/inria-00076118/document %2 https://inria.hal.science/inria-00076118/file/RR-0438.pdf %L inria-00076118 %U https://inria.hal.science/inria-00076118 %~ INRIA %~ INRIA-ROCQ %~ INRIA-RRRT %~ TESTALAIN1 %~ INRIA2 %~ LARA