Proof Complexity of Monotone Branching Programs. - Anupam Das 002; Avgerinos Delkos (CiE, 2022)

A dynamic approach to ceteris paribus counterfactuals. - Avgerinos Delkos; Marianna Girlando (CoRR, 2023)

A Significance-Based Account of Ceteris paribus Counterfactuals. - Avgerinos Delkos; Marianna Girlando (WoLLIC, 2025)

Proof complexity of positive branching programs. - Anupam Das 002; Avgerinos Delkos (Log. Methods Comput. Sci., 2025)