Steffes, B. and 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, pp. 1–7. doi:10.47852/bonviewJCLLT62029092.