Steffes, Bianca, and Diogo Sasdelli. “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, Mar. 2026, pp. 1-7, https://doi.org/10.47852/bonviewJCLLT62029092.