Abstraction barriers in equational proofs (1998)

by J E Hannay
Venue:In Proc. of AMAST'98, volume 1548 of LNCS