Articles by J Geldart (1)

Category-based Equational Reasoning: An Approach to Ontology Integration

J Geldart and W. Song

Journal of Logic and Computation 19 ( 5 ): 791 - 806 , 2009