@article{BasinFelty01,
AUTHOR = "David Basin and Amy Felty",
TITLE = "Current Trends in Logical Frameworks and Metalanguages",
JOURNAL="Journal of Automated Reasoning",
YEAR=2001,
Month = 2001,
Volume = 31,
Number = 5,
Pages = "1--2"
}