Theory interpretations (2001)

by S Owre, N Shankar
Venue:in PVS, Technical Report