AuthorsO. Lysne
TitleThe Equational Part of Proofs by Structural Induction
StatusPublished
Publication TypeJournal Article
Year of Publication1993
JournalBIT
Volume33
Pagination596-618,
Citation KeyND.4.Lysne.1993.a