@misc{indiciaedec7f24bc1b3, title = {A proof algorithm associated with the dipole splitting algorithm}, author = {K. Hasegawa}, year = {2015}, doi = {10.1093/ptep/ptv159}, url = {https://arxiv.org/abs/1409.4174}, note = {Source identifier: 1409.4174} }