@Article{	  bradixnieprz01,
  author	= {Stefan Brass and J\"{u}rgen Dix and Ilkka Niemel\"{a} and
		  Teodor Przymusinski},
  title		= {On the {E}quivalence of the {S}tatic and {D}isjunctive
		  {W}ell-{F}ounded {S}emantics and its {C}omputation},
  journal	= {Theoretical Computer Science},
  year		= {2001},
  volume	= {258},
  number	= {1-2},
  pages		= {523--553}
}