Combining WS1S and HOL (2000)

by David Basin, Stefan Friedrich
Venue:Frontiers of Combining Systems 2, volume 7 of Studies in Logic and Computation