Christian Codognet, Philippe Codognet: Guarded Constructive Disjunction: Angel or Demon? CP 1995: 345-361