Amalgamation via enriched signatures (0)

by L Schröder, T Mossakowski, A Tarlecki, P Hoffman, B Klin