Anand Pillay, Thomas Scanlon, and Frank Wagner
MSRI Preprint #1998-037
Preprint: compressed Postscript, dvi, TeX