Large Language Models for translating contract-related texts to logical predicates: Prompting, fine-tuning or dedicated library? - Navas-Loro, Maria; Takeda, Hideaki; Satoh, Ken (EXPERT SYSTEMS WITH APPLICATIONS, 2026)