Larry Wos Ross A. Overbeek Ewing L. Lusk Subsumption, a Sometimes Undervalued Procedure. 3-40 1991 Computational Logic - Essays in Honor of Alan Robinson db/conf/birthday/robinson91.html#WosOL91