Parthenon, a parallel theorem prover for non-horn clauses

• Authors:

• S. Bose;E. Clark;D. Long;S. Michaylov

• Affiliations:

• -;-;-;-

• Venue:
• Proceedings of the Fourth Annual Symposium on Logic in computer science
• Year:
• 1989