Connecting many-sorted theories (2007)

View PDF

Download Links

by Franz Baader , Silvio Ghilardi
Venue:The Journal of Symbolic Logic
Citations:25 - 6 self