B. Steffes and D. Sasdelli, “Catch the Platypus! Negated Conditionals as a Challenge for Machine Translation from Natural Language into Logical Formalisms Using Large Language Models”, JCLLT, pp. 1–7, Mar. 2026, doi: 10.47852/bonviewJCLLT62029092.