Basin, D., Giunchiglia, F., & Traverso, P. (1991). Automating Meta-Theory Creation and System Extension. In E. Ardizzone, S. Gaglio, & F. Sorbello (Eds.), Trends in Artificial Intelligence (pp. 48-57). Berlin: Springer.