By Benjamin N. Grosof . IBM Research Report RC 20836. Held Port Jefferson, NY, USA, Oct. 12-17, 1997. This contains a paper, and also talk slides as an appendix. The theorem statement needs some additional restricting conditions.
Details are in a forthcoming version of the paper.
By Benjamin N. Grosof . IBM Research Report RC 20123. You can get abstract or e-mail us to request a reprint of the full paper. By David Chess, Colin Harrison, and Aaron Kershenbaum. You can get abstract or full paper in postcript or in pdf format.