Geldart, J., & Song, W. (2009). Category-based Equational Reasoning: An Approach to Ontology Integration. Journal of Logic and Computation, 19(5), 791-806. https://doi.org/10.1093/logcom/exn044