BibTeX record conf/deductive/KeanT95

download as .bib file

@inproceedings{DBLP:conf/deductive/KeanT95,
  author    = {Alex Kean and
               George K. Tsiknis},
  title     = {A Computational System for Symbolic Belief Revision},
  booktitle = {Deductive Databases / Abduction in Deductive Databases},
  series    = {GMD-Studien},
  volume    = {266},
  pages     = {159--173},
  publisher = {Gesellschaft f{\"{u}}r Mathematik und Datenverarbeitung MbH},
  year      = {1995}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics