Heuristics for Completion in Automatic Proofs by Structural Induction

Heuristics for Completion in Automatic Proofs by Structural Induction

Authors
O. Lysne