-- ///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:04:03 PST

Directory [Indigo]<QuantifierElimination>IPPapers>
  cadIII.interpress!1                          02-Mar-88 13:55:55 PST
  clcad.interpress!3                           22-Mar-88 14:44:06 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