Extending Bachmair's Method for Proof by Consistency to the Final Algebra

Extending Bachmair's Method for Proof by Consistency to the Final Algebra

Authors
O. Lysne