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