TY - RPRT TI - Automated Consistency Analysis for Legal Contracts AU - Alan Khoja AU - Martin Kölbl AU - Stefan Leue AU - Rüdiger Wilhelmi PY - 2025 UR - https://arxiv.org/abs/2504.18422 ID - 2504.18422 ER -