Olav Lysne
Olav Lysne.
Heuristics for completion in automatic proofs by structural induction.
Nordic Journal of Computing
, 1(1):135-156, Spring 1994.
Abstract, References, etc.
Shortcuts:
Nordic Journal of Computing homepage
Bibliography top level
Nordic Journal of Computing Author Index
Search the HBP database