Brunner, A. B. “First-Order Anti-Intuitionistic Logic With Apartness”. Logic and Logical Philosophy, vol. 13, no. 13, Dec. 2004, pp. 77-88, doi:10.12775/LLP.2004.005.