%A W.J. Cody %T Second thoughts on the mathematical software effort: a perspective %R ANL-84-83 %I Mathematics and Computer Science Division, Argonne National Laboratory %D 1984 %A John R. Gabriel %A T.G. Lindholm %A E.L. Lusk %A R.A. Overbeek %T A Tutorial on the Warren Abstract Machine for Computational Logic %R ANL-84-84 %I Mathematics and Computer Science Division, Argonne National Laboratory %X Amplifies Warren's SRI 309. The description of how WAM avoids putting entries on the "trail" needs careful reading - it's a bit terse (but correct). The rest of the paper is quite good. I would recommend starting with this paper. %A John R. Gabriel %A T.G. Lindholm %A E.L. Lusk %A R.A. Overbeek %T A short notes on achievable LIP rates using the Warren abstract Prolog machine %R ANL/MCS-T3-46 %I Mathematics and Computer Science Division, Argonne National Laboratory %D October 1984 %P 15 %A Jack J. Dongarra %T Squeezing the most out of eigenvalue solvers on high-performance computers %R ANL/MCS-TM-46 %I Mathematics and Computer Science Division, Argonne National Laboratory %D 1985