Very efficient conversions (1995)

by Morten Welinder
Venue:In Higher Order Logic, Theorem Proving, and Its Applications, volume 971 of LNCS