Using meta-theoretic reasoning to do algebra (1980)

by L Aiello, R W Weyhrauch
Venue:5th Conference on Automated Deduction, Volume 87 of Lecture Notes in Computer Science, Les Arcs