Comparison of Natural Deduction and Locking Resolution Implementations.

Steven Greenbaum, A. Nagasaka, Paul O'Rorke, David A. Plaisted

Browse the full CADE paper archive.