@Proceedings{	  dixfurner97,
  title		= {{L}ogic {P}rogramming and {N}onmonotonic {R}easoning},
  year		= {1997},
  editor	= {J.~Dix and U.~Furbach and A.~Nerode},
  publisher	= {Springer},
  address	= {Berlin},
  series	= {LNAI 1265}
}