Ralph Butler, Arlan R. DeKock. Implementaion of a parallel subsumption algorithm (abstract only). In Terry M. Walker, Wayne D. Dominick, editors, Proceedings of the 13th ACM Annual Conference on Computer Science, New Orleans, Louisiana, USA, 1985. pages 422, ACM, 1985. [doi]
@inproceedings{ButlerD85,
title = {Implementaion of a parallel subsumption algorithm (abstract only)},
author = {Ralph Butler and Arlan R. DeKock},
year = {1985},
doi = {10.1145/320599.322473},
url = {http://doi.acm.org/10.1145/320599.322473},
researchr = {https://researchr.org/publication/ButlerD85},
cites = {0},
citedby = {0},
pages = {422},
booktitle = {Proceedings of the 13th ACM Annual Conference on Computer Science, New Orleans, Louisiana, USA, 1985},
editor = {Terry M. Walker and Wayne D. Dominick},
publisher = {ACM},
isbn = {0-89791-150-4},
}