@techreport{lechenadec:inria-00076118, TITLE = {{Analysis of Dehn algorithm by critical pairs}}, AUTHOR = {Le Chenadec, Philippe}, URL = {https://inria.hal.science/inria-00076118}, NUMBER = {RR-0438}, INSTITUTION = {{INRIA}}, YEAR = {1985}, MONTH = Aug, PDF = {https://inria.hal.science/inria-00076118/file/RR-0438.pdf}, HAL_ID = {inria-00076118}, HAL_VERSION = {v1}, }