Combining and representing logical systems using model-theoretic parchments (1998)

by T Mossakowski, A Tarlecki, W Pawlowski
Venue:Recent Trends in Algebraic Development Techniques. 12th Workshop on Algebraic Development Techniques, Tarquinia 1997, volume 1376 of Lecture Notes in Computer Science