Controlling Redundancy in Large Search Spaces: Argonne-Style Theorem Proving Through the Years.

Ewing L. Lusk

Browse the full LPAR paper archive.