Equality and Apartness in Bi-intuitinistic Logic
scientific article; zbMATH DE number 7642559