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