Default negation as explicit negation plus update - Kahle, Reinhard (2022)
UID/MAT/00297/2020