Combining WS1S and HOL (2000)

by D Basin, S Friedrich
Venue:In Gabbay DM de Rijke M (eds) Frontiers of Combining Systems 2, vol 7 of Studies in Logic and Computation. Res Stud Press/Wiley