TY  - RPRT
TI  - A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods
AU  - Mirai Ikebuchi
PY  - 2022
DO  - 10.46298/lmcs-18(3:36)2022
UR  - https://arxiv.org/abs/2002.11942
ID  - 2002.11942
ER  -