Olav Lysne. Extending Bachmair s Method for Proof by Consistency to the Final Algebra. Inf. Process. Lett., 51(6):303-310, 1994.
@article{Lysne94:0,
title = {Extending Bachmair s Method for Proof by Consistency to the Final Algebra},
author = {Olav Lysne},
year = {1994},
tags = {consistency, algebra},
researchr = {https://researchr.org/publication/Lysne94%3A0},
cites = {0},
citedby = {0},
journal = {Inf. Process. Lett.},
volume = {51},
number = {6},
pages = {303-310},
}