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]
Abstract is missing.