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 (March 31, 2026): 1–7. Accessed April 6, 2026. https://ojs.bonviewpress.com/index.php/JCLLT/article/view/9092.