Prover9 Manual
Version 2008-06A
Advanced Features
Actions
Hints
Semantics
Clause Properties
Keep and Delete Rules
Given Selection