Ciraulo, F. “Intuitionistic Overlap Structures”. Logic and Logical Philosophy, vol. 22, no. 2, June 2013, pp. 201–212, doi:10.12775/LLP.2013.011.