The Equational Part of Proofs by Structural InductionAuthorsO. LysneStatusPublishedPublication typeJournal ArticleYear of publication1993JournalBITPublisher-Citation key10961Google Scholar BibTex