Using reflection to build efficient and certified decision procedures (1997)

by S Boutin
Venue:Lecture Notes in Computer Science