@article{10957, author = {Olav Lysne}, title = {Heuristics for Completion in Automatic Proofs by Structural Induction}, year = {1994}, journal = {Nordic Journal of Computing}, volume = {1}, pages = {135-156,}, publisher = {NJC}, }