BibTeX record conf/iclp/InoueS93

download as .bib file

@inproceedings{DBLP:conf/iclp/InoueS93,
  author    = {Katsumi Inoue and
               Chiaki Sakama},
  title     = {Transforming Abductive Logic Programs to Disjunctive Programs},
  booktitle = {{ICLP}},
  pages     = {335--353},
  publisher = {{MIT} Press},
  year      = {1993}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics