An approach to a systematic theorem proving procedure in first-order logic, Computing 12 (1974)

by W Bibel