| Authors | O. Lysne |
| Title | Heuristics for Completion in Automatic Proofs by Structural Induction |
| Afilliation | Communication Systems, Communication Systems |
| Status | Published |
| Publication Type | Journal Article |
| Year of Publication | 1994 |
| Journal | Nordic Journal of Computing |
| Volume | 1 |
| Pagination | 135-156, |
| Publisher | NJC |
| Citation Key | ND.4.LYSNE.1994.b |
By thinking constantly about it…