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