-- ///Arnon/Papers/IPPapers.DF -- Dennis Arnon, August 21, 1987 3:44:02 pm PDT -- ep88 paper is also in [Cyan]<Imaging>Top>EP88CaminoRealPaper.df Directory [Indigo]<QuantifierElimination>Top> IPPapers.DF 23-Mar-88 15:04:48 PST Directory [Indigo]<QuantifierElimination>IPPapers> cadIII.interpress!2 22-Mar-88 16:32:49 PST clcad.interpress!4 22-Mar-88 15:18:52 PST toptyp.interpress!3 23-Mar-88 15:03:14 PST qelim.interpress!2 22-Mar-88 14:13:37 PST JSCBiblio.interpress!4 22-Mar-88 10:42:17 PST