@inproceedings{1985-davis-1 ,author={James A. Davis and Diane B. Holdridge and Gustavus J. Simmons} ,crossref={1985-beth} ,MR={87f:11105} ,pages={183--215} ,title={{Status report on factoring (at the Sandia National Laboratories)}} ,year={1985} }