Connecting Many-Sorted Theories’, The (2007)

by F Baader, S Ghilardi
Venue:Journal of Symbolic Logic