Title: Input transformations and resolution implementation techniques for theorem proving in first-order logic
Subjects: Automatic theorem proving, Symbolic and mathematical Logic