DBLP Record 'conf/sigir/Paola71'

BibTeX

@inproceedings{DBLP:conf/sigir/Paola71,
  author    = {Robert A. Di Paola},
  title     = {The Relational Data File and the Decision Problem for Classes
               of Proper Formulas},
  booktitle = {SIGIR},
  year      = {1971},
  pages     = {95-104},
  ee        = {db/conf/sigir/Paola71.html},
  crossref  = {DBLP:conf/sigir/71},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/sigir/71,
  editor    = {Jack Minker and
               Sam Rosenfeld},
  title     = {ACM SIGIR Information Storage and Retrieval Symposium, 1971,
               Proceeding},
  publisher = {ACM},
  year      = {1971},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}