ButlerI90'

BibTeX

@inproceedings{DBLP:conf/ssdbm/ButlerI90,
  author    = {Gregory Butler and
               Sridhar S. Iyer},
  title     = {Deductive Mathematical Databases - A Case Study},
  booktitle = {SSDBM},
  year      = {1990},
  pages     = {50-64},
  ee        = {db/conf/ssdbm/ButlerI90.html},
  crossref  = {DBLP:conf/ssdbm/90},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/ssdbm/90,
  editor    = {Zbigniew Michalewicz},
  title     = {Statistical and Scientific Database Management, 5th International
               Conference SSDBM, Charlotte, NC, USA, April 3-5, 1990, Proccedings},
  booktitle = {SSDBM},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {420},
  year      = {1990},
  isbn      = {3-540-52342-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}