@INPROCEEDINGS{BasinMatthews98,
AUTHOR        = {David Basin and Sean Matthews},
TITLE         = {Scoped Metatheorems},
BOOKTITLE     = {International Workshop on Rewriting Logic and its Applications}, 
EDITORS       = {Claude Kirchner and Helene Kirchner},
YEAR          = {1998},
MONTH       = {September},
PAGES         = {1--12},
PUBLISHER = {Electronic Notes in Theoretical Computer Science (ENTCS)},
VOLUME = 15
}