TY - RPRT TI - Software Engineering Methods For AI-Driven Deductive Legal Reasoning AU - Rohan Padhye PY - 2024 UR - https://arxiv.org/abs/2404.09868 ID - 2404.09868 ER -