Ivy: A Preprocessor and Proof Checker for First-Order Logic (2000)

by W McCune, O Shumsky
Venue:Computer-Aided Reasoning: ACL2 Case Studies