KaskD95'

@inproceedings{DBLP:conf/ijcai/KaskD95,
  author    = {Kalev Kask and
               Rina Dechter},
  title     = {GSAT and Local Consistency},
  booktitle = {IJCAI (1)},
  year      = {1995},
  pages     = {616-623},
  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}
}