@misc{indiciae07b2fc523494, title = {Generalization of Variadic Structures with Binders: A Tool for Structural Code Comparison}, author = {Alexander Baumgartner and Temur Kutsia}, year = {2025}, url = {https://arxiv.org/abs/2509.25023}, note = {Source identifier: 2509.25023} }