@misc{indiciae3e11b2f08bc9, title = {On Verifiable Legal Reasoning: A Multi-Agent Framework with Formalized Knowledge Representations}, author = {Albert Sadowski and Jarosław A. Chudziak}, year = {2025}, doi = {10.1145/3746252.3761057}, url = {https://arxiv.org/abs/2509.00710}, note = {Source identifier: 2509.00710} }