Ivy: A Preprocessor And Proof Checker For First-Order Logic (1999)

Cached

Download Links

by William Mccune , Olga Shumsky
Citations:29 - 10 self