Larry Wos, Ross A. Overbeek, Ewing L. Lusk. Subsumption, a Sometimes Undervalued Procedure. In Computational Logic - Essays in Honor of Alan Robinson. pages 3-40, 1991.
@inproceedings{WosOL91,
title = {Subsumption, a Sometimes Undervalued Procedure},
author = {Larry Wos and Ross A. Overbeek and Ewing L. Lusk},
year = {1991},
researchr = {https://researchr.org/publication/WosOL91},
cites = {0},
citedby = {0},
pages = {3-40},
booktitle = {Computational Logic - Essays in Honor of Alan Robinson},
}