Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity.

James R. Slagle

Published in: J. ACM (1974)

Keyphrases

automated theorem proving
theorem prover
theorem proving
answer set programming
classical logic
theoretical framework
computational models
inference rules
database
active learning
design theory