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