Combining WS1S and HOL (1998)

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