Implementaion of a parallel subsumption algorithm (abstract only).

Ralph Butler Arlan R. DeKock Implementaion of a parallel subsumption algorithm (abstract only). 422 1985 conf/acm/1985 ACM Conference on Computer Science https://doi.org/10.1145/320599.322473 db/conf/acm/csc1985.html#ButlerD85