W.: Combining and Representing Logical Systems (1997)

by T Mossakowski, A Tarlecki, Pawlowski
Venue:Category Theory and Computer Science, 7th Int. Conf. LNCS 1290