-- ///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 22-Mar-88 10:45:21 PST Directory [Indigo]<QuantifierElimination>IPPapers> cadIII.interpress!1 02-Mar-88 13:55:55 PST clcad.interpress!2 21-Mar-88 15:52:41 PST toptyp.interpress!2 18-Mar-88 13:03:13 PST qelim.interpress!1 18-Mar-88 12:33:13 PST JSCBiblio.interpress!4 22-Mar-88 10:42:17 PST