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