@InProceedings{	  bradix96,
  author	= {Stefan Brass and J\"{u}rgen Dix},
  title		= {Characterizing {D}-{W}{F}{S}: {C}onfluence and {I}terated
		  {G}{C}{W}{A}},
  booktitle	= {Logics in Artificial Intelligence (JELIA '96)},
  year		= {1996},
  editor	= {J.J.~Alferes, L.M. Pereira and E. Orlowska},
  publisher	= {Springer},
  series	= {LNCS 1126},
  adress	= {Berlin},
  note		= {(Extended version appeared in: \newblock {\em Journal of
		  Automated Reasoning\/}, \textbf{20(1)}:143--16, 1998.)},
  pages		= {268--283}
}