A. Blum, “On Disjunction”, AP, vol. 24, no. 2, pp. 383–384, Sep. 2015.