Dov M. Gabbay Laura Giordano Alberto Martelli Nicola Olivetti Maria Luisa Sapino Conditional reasoning in logic programming. 37-74 2000 44 J. Log. Program. 1-3 db/journals/jlp/jlp44.html#GabbayGMOS00