J. Woleński, “An abstract approach to bivalence”, LLP, vol. 23, no. 1, pp. 3–14, Sep. 2013.