Incresing the Versatility of Heuristic Based Theorem Provers.

Alistair Manning, Andrew Ireland, Alan Bundy

Browse the full LPAR paper archive.