A Survey of Meaning Representations - From Theory to Practical Utility. - Zacchary Sadeddine; Juri Opitz; Fabian M. Suchanek (NAACL-HLT, 2024)

Verifying the Steps of Deductive Reasoning Chains. - Zacchary Sadeddine; Fabian M. Suchanek (ACL (Findings), 2025)