@InCollection{BasinMatthewsHPL,
  author =       {David Basin and Sean Matthews},
  title =        {Logical Frameworks},
  booktitle =    {Handbook of Philosophical Logic, second edition},
  EDITOR = {Dov Gabbay and Franz Guenthner},
  PUBLISHER = {Kluwer Academic Publishers},
  ADDRESS = {Dordrecht},
  Volume = {9},
  Pages = {89--164},
  YEAR = {2002},
}