@InCollection{basin00:_combin_ws1s_hol,
  author =       {Basin, David and Friedrich, Stefan},
  title =        {Combining {WS1S} and {HOL}},
  booktitle =    {Frontiers of Combining Systems 2},
  pages =        {39--56},
  publisher =    {Research Studies Press/Wiley},
  year =         2000,
  editor =       {Gabbay, D.M. and de Rijke, M.},
  volume =       7,
  series =       {Studies in Logic and Computation},
  address =      {Baldock, Herts, UK},
  month =        {February}
}