Extending Bachmair's Method for Proof by Consistency to the Final AlgebraAuthorsO. LysneStatusPublishedPublication typeJournal ArticleYear of publication1994JournalInformation Processing LettersPublisherElsevierCitation key10958Google Scholar BibTex