The KLAUS Automated Deduction System.

Mark E. Stickel

Published in: CADE (1988)

Keyphrases

automated deduction
theorem proving
theorem prover
logic programming
inference rules
deductive databases
database
artificial intelligence