Clustering for Complex Structured Data Based on Higher-Order Logic | IEEE Conference Publication | IEEE Xplore