@inproceedings{DBLP:conf/ijcai/Yugami95,
  author    = {Nobuhiro Yugami},
  title     = {Theoretical Analysis of Davis-Putnam Procedure and Propositional
               Satisfiability},
  booktitle = {IJCAI},
  year      = {1995},
  pages     = {282-288},
  crossref  = {DBLP:conf/ijcai/1995},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/ijcai/1995,
  title     = {Proceedings of the Fourteenth International Joint Conference
               on Artificial Intelligence, IJCAI 95, Montr{\'e}al Qu{\'e}bec,
               Canada, August 20-25 1995, 2 Volumes},
  booktitle = {IJCAI},
  publisher = {Morgan Kaufmann},
  year      = {1995},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}