TY  - RPRT
TI  - Effective Localization Using Double Ideal Quotient and Its Implementation
AU  - Yuki Ishihara
AU  - Kazuhiro Yokoyama
PY  - 2020
DO  - 10.1007/978-3-319-99639-4_19
UR  - https://arxiv.org/abs/2003.00220
ID  - 2003.00220
ER  -