-- ///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                                  18-Mar-88 13:20:06 PST

Directory [Indigo]<QuantifierElimination>IPPapers>
  cadIII.interpress!1                          02-Mar-88 13:55:55 PST
  clcad.interpress!1                           02-Mar-88 15:19:57 PST
  toptyp.interpress!2                          18-Mar-88 13:03:13 PST
  qelim.interpress!1                           18-Mar-88 12:33:13 PST
  JSCBiblio.interpress!1                       18-Mar-88 12:48:01 PST