Keyword:saturation-based theorem prover

Papers
EasyChair Preprint no. 5855