@Proceedings{	  dixperprz95,
  title		= {{N}on-{M}onotonic {E}xtensions of {L}ogic {P}rogramming},
  year		= {1995},
  editor	= {J. Dix and L. Pereira and T. Przymusinski},
  publisher	= {Springer},
  address	= {Berlin},
  series	= {LNAI 927}
}