Brunner, A.B. 2004. First-order anti-intuitionistic logic with apartness. Logic and Logical Philosophy. 13, 13 (Dec. 2004), 77–88. DOI:https://doi.org/10.12775/LLP.2004.005.