@InCollection{	  dixsto97,
  author	= {J\"{u}rgen Dix and Frieder Stolzenburg},
  title		= {{C}omputation of {N}on-{G}round {D}isjunctive
		  {W}ell-{F}ounded {S}emantics with {C}onstraint {L}ogic
		  {P}rogramming (Preliminary Report)},
  booktitle	= {Nonmonotonic Extensions of Logic Programming},
  year		= {1997},
  pages		= {202--226},
  editor	= {J. Dix and L. Pereira and T. Przymusinski},
  publisher	= {Springer},
  address	= {Berlin},
  series	= {LNAI 1216}
}