![]() |
@article{DBLP:journals/jlp/GabbayGMOS00,
author = {Dov M. Gabbay and
Laura Giordano and
Alberto Martelli and
Nicola Olivetti and
Maria Luisa Sapino},
title = {Conditional reasoning in logic programming},
journal = {J. Log. Program.},
volume = {44},
number = {1-3},
year = {2000},
pages = {37-74},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2003-11-27 by Michael Ley (ley@uni-trier.de)