TY  - RPRT
TI  - Modular Techniques for Effective Localization and Double Ideal Quotient
AU  - Yuki Ishihara
PY  - 2022
DO  - 10.1145/3373207.3404017
UR  - https://arxiv.org/abs/2003.00496
ID  - 2003.00496
ER  -