Proving Harder Theorems by Axiom Reduction.

Geoff Sutcliffe, Alexander Dvorsk

Browse the full FlAIRS paper archive.