Ewing L. Lusk Ross A. Overbeek A Portable Environment for Research in Automated Reasoning. 43-52 1984 conf/cade/1984 CADE db/conf/cade/cade84.html#LuskO84 http://dx.doi.org/10.1007/BFb0047112