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

Cached

Download Links

by Olav Lysne
Venue:Information Processing Letters
Citations:4 - 1 self