Many Sorted Observational Calculi for Multi-Relational Data Mining | IEEE Conference Publication | IEEE Xplore