paramodulation <pattern>
Prev
Chapter 6. Tactics
Next
paramodulation <pattern>
paramodulation patt
Pre-conditions:
TODO.
Action:
TODO.
New sequents to prove:
TODO.