Ciraulo, F. (2013). Intuitionistic overlap structures. Logic and Logical Philosophy, 22(2), 201–212. https://doi.org/10.12775/LLP.2013.011