M. Nabulsi and A. Abdalla, “The relationship between exclusive-or and the unique existential quantifier,” Journal of Computer Science, vol. 4(9): pp. 741-743, 2008.