-- ///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 18-Mar-88 13:20:06 PST Directory [Indigo]<QuantifierElimination>IPPapers> cadIII.interpress!1 02-Mar-88 13:55:55 PST clcad.interpress!1 02-Mar-88 15:19:57 PST toptyp.interpress!2 18-Mar-88 13:03:13 PST qelim.interpress!1 18-Mar-88 12:33:13 PST JSCBiblio.interpress!1 18-Mar-88 12:48:01 PST