@Proceedings{AAAI00,
  key =          {AAAI00},
  title = 	 {Proceedings of the Seventeenth National Conference in Artificial Intelligence (AAAI'00)},
  booktitle = 	 {Proceedings of the Seventeenth National Conference in Artificial Intelligence (AAAI'00)},
  address =      {Austin, Texas, USA},
  month =        {July 30--August 3},
  year = 	 2000,
  url =          {http://www.aaai.org/Conferences/National/2000/aaai00.html}
}

@Proceedings{FOCS98,
   title = {Proceedings of the 39th Annual Symposium on Foundations of Computer Science. (FOCS-98)},
   booktitle = {Proceedings of the 39th Annual Symposium on Foundations of Computer Science. (FOCS-98)},
   year = 1998,
   month = {November},
   address = {Palo Alto, CA},
}

@Proceedings{IJCAI95,
  key =          {IJCAI95},
  title = 	 {Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI'95)},
  booktitle = 	 {Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI'95)},
  year = 	 1995,
  address =	 {Montr\' eal, Qu\'ebec, Canada},
  month =	 {August 20--25},
  url =          {http://www.ijcai.org/past/ijcai-95/}
}

@Proceedings{IJCAI97,
  key =          {IJCAI97},
  title = 	 {Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI'97)},
  booktitle = 	 {Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI'97)},
  year = 	 1997,
  address =	 {Nagoya, Japan},
  month =	 {August 23--29},
  url =          {http://www.ijcai.org/past/ijcai-97/}
}

@Proceedings{IJCAI99,
  key =          {IJCAI99},
  title = 	 {Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI'99)},
  booktitle = 	 {Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI'99)},
  year = 	 1999,
  month =	 {July 31-August 6},
  address =      {Stockholm, Sweden},
  publisher =	 {Morgan Kaufmann},
  url =          {http://www.dsv.su.se/ijcai-99/}
}

@Proceedings{IJCAI01,
  key =   {IJCAI01},
  TITLE = {Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence (IJCAI'01)},
  BOOKTITLE = {Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence (IJCAI'01)},
  YEAR = 2001,
  ADDRESS = {Seattle, Washington, USA},
  MONTH = {August 4th-10th},
  URL = {http://www.ijcai-01.org/}
}

@Proceedings{IJCAR01,
  key =          {IJCAR01},
  title = 	 {Proceedings of the International Joint Conference on Automated Reasoning (IJCAR'01)},
  booktitle = 	 {Proceedings of the International Joint Conference on Automated Reasoning (IJCAR'01)},
  year = 	 2001,
  address = 	 {Siena, Italy},
  month =	 {June},
  url =          {http://www.dii.unisi.it/~ijcar/}
}

@Proceedings{QBF2001,
  title = 	 {Proceedings of QBF2001 workshop at IJCAR'01},
  booktitle = 	 {Proceedings of QBF2001 workshop at IJCAR'01},
  year = 	 2001,
  editor =       {Uwe Egly and  Rainer Feldmann and  Hans Tompits},
  address = 	 {Siena, Italy},
  month = 	 {June},
  url =          {http://www.uni-paderborn.de/fachbereich/AG/monien/PERSONAL/qbf2001.tar.gz}
}