A Preliminary Comparison of the Forgetting Solutions Computed using SCAN, LETHE and FAME. - Ruba Alassaf; Renate A. Schmidt (SOQE, 2017)

The FAME Family: A Family of Reasoning Tools for Forgetting in Expressive Description Logics. - Yizheng Zhao; Hao Feng; Ruba Alassaf; Warren Del-Pinto; Renate A. Schmidt (Description Logics, 2018)

DLS-Forgetter: An Implementation of the DLS Forgetting Calculus for First-Order Logic. - Ruba Alassaf; Renate A. Schmidt (GCAI, 2019)

Resolution-Based Uniform Interpolation for Multi-Agent Modal Logic Kn. - Ruba Alassaf; Renate A. Schmidt; Uli Sattler (SOQE@KR, 2021)

Saturation-Based Uniform Interpolation for Multi-Modal Logics. - Ruba Alassaf; Renate A. Schmidt; Uli Sattler (AiML, 2022)

Non-Classical Logics in Satisfiability Modulo Theories. - Clemens Eisenhofer; Ruba Alassaf; Michael Rawson 001; Laura Kovács (TABLEAUX, 2023)