A. B. Brunner, “First-order anti-intuitionistic logic with apartness”, LLP, vol. 13, no. 13, pp. 77–88, Dec. 2004.