D. Genito and G. Gerla, “Connecting bilattice theory with multivalued logic”, LLP, vol. 23, no. 1, pp. 15–45, Oct. 2013.