Decision problem on interactions. - Wachi, Hidetada (International Journal of Algebra & Computation, 2026)