Rasiowa–Harrop disjunction property - Ferreira, Gilda (2017)