Brunner, A. B. First-Order Anti-Intuitionistic Logic With Apartness. LLP 2004, 13, 77-88.