Olav Lysne
-
Heuristics for completion in automatic proofs by structural induction
Nordic Journal of Computing