@misc{indiciaef5062e761c00, title = {Improving stableKanren's Backward Compatibility}, author = {Xiangyu Guo and Ajay Bansal}, year = {2024}, url = {https://arxiv.org/abs/2408.16257}, note = {Source identifier: 2408.16257} }