Yoshiki Nakamura: Undecidability of the Positive Calculus of Relations with Transitive Closure and Difference: Hypothesis Elimination Using Graph Loops. RAMiCS 2024: 207-224