Combining Logic Systems: Why, how, what for? (2003)

by C. Sernadas , C. Sernadas , Is Given
Venue:CIM Bulletin
Citations:2 - 2 self