Conditionals : from philosophy to computer science /
Crocco, G.
Del Cerro, Fariñas.
Herzig, A.
Oxford : Clarendon Press,
1995.