Understanding Logical Expressions with Negations: Its Complicated. - Aviad Baron; Ilai Granot; Ron Yosef; Dror G. Feitelson (EASE, 2024)