Connecting Many-Sorted Theories.

Franz Baader, Silvio Ghilardi

Browse the full CADE paper archive.