| Authors | O. Lysne |
| Title | Extending Bachmair's Method for Proof by Consistency to the Final Algebra |
| Afilliation | Communication Systems, Communication Systems |
| Status | Published |
| Publication Type | Journal Article |
| Year of Publication | 1994 |
| Journal | Information Processing Letters |
| Volume | 51 |
| Issue | 6 |
| Pagination | 303-310, |
| Publisher | Elsevier |
| Citation Key | ND.4.LYSNE.1994.c |
By thinking constantly about it…