Equality and Apartness in Bi-intuitinistic Logic | Publicación