Complete Sets of Reductions for Some Equational Theories.

Gerald E. Peterson Mark E. Stickel

Published in: J. ACM (1981)

Keyphrases

equational theories
theorem proving
artificial intelligence
np complete