BibTeX record conf/ijcai/AddankiCP89a

download as .bib file

@inproceedings{DBLP:conf/ijcai/AddankiCP89a,
  author    = {Sanjaya Addanki and
               Roberto Cremonini and
               J. Scott Penberthy},
  title     = {Reasoning About Assumptions in Graphs of Models},
  booktitle = {{IJCAI}},
  pages     = {1432--1438},
  publisher = {Morgan Kaufmann},
  year      = {1989}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics