Parallel Algorithms for Term Matching

• Authors:

• Cynthia Dwork;Paris C. Kanellakis;Larry J. Stockmeyer

• Affiliations:

• -;-;-

• Venue:
• Proceedings of the 8th International Conference on Automated Deduction
• Year:
• 1986