Inference Rights for Controlling Search in Generating Theorem Provers.

Dirk Fuchs

Browse the full EPIA paper archive.