@misc{indiciaec7ff111b8d11, title = {Derivatives on Graphs for the Positive Calculus of Relations with Transitive Closure}, author = {Yoshiki Nakamura}, year = {2025}, doi = {10.46298/lmcs-21(4:27)2025}, url = {https://arxiv.org/abs/2408.08236}, note = {Source identifier: 2408.08236} }