Using Reflection to Build Efficient and Certified Decision Procedures (1997)

by Samuel Boutin
Venue:In TACS’97, volume 1281 of LNCS