@Article{	  basin.ea:current:2001,
  author	= {David Basin and Amy Felty},
  journal	= {Journal of Automated Reasoning},
  language	= {USenglish},
  number	= 5,
  pages		= {1--2},
  ps		= {papers/2001/jar-lfm.ps.gz},
  title		= {Current Trends in Logical Frameworks and Metalanguages},
  volume	= 31,
  year		= 2001
}