-- ///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