Steffes, B., & Sasdelli, D. (2026). Catch the Platypus! Negated Conditionals as a Challenge for Machine Translation from Natural Language into Logical Formalisms Using Large Language Models. Journal of Computational Law and Legal Technology, 1-7. https://doi.org/10.47852/bonviewJCLLT62029092