Hyper-Chaining and Knowledge-Based Theorem Proving.

Larry M. Hines

Browse the full CADE paper archive.