-- ///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:36:10 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!3 22-Mar-88 10:21:17 PST