@INPROCEEDINGS{Basin91c,
AUTHOR = "Basin, David and Fausto Giunchiglia and Paolo Traverso",
TITLE = "Automating Meta-theory Creation and System Extension",
BOOKTITLE = "AI*IA-91 (Italian Association for Artificial Intelligence",
ADDRESS = "Palermo, Italy",
YEAR = 1991,
PUBLISHER = "Springer-Verlag",
PAGES = "48 -- 57"
}