-- ///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                                  23-Mar-88 15:28:51 PST

Directory [Indigo]<QuantifierElimination>IPPapers>
  cadIII.interpress!3                          23-Mar-88 15:25:02 PST
  clcad.interpress!4                           22-Mar-88 15:18:52 PST
  toptyp.interpress!3                          23-Mar-88 15:03:14 PST
  qelim.interpress!2                           22-Mar-88 14:13:37 PST
  JSCBiblio.interpress!4                       22-Mar-88 10:42:17 PST