Automated reasoning in resolving semantic conflicts across heterogeneous repositories
Kataria, P. and Juric, R. 2010. Automated reasoning in resolving semantic conflicts across heterogeneous repositories. Proceedings of the Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice. London 30 - 31 Mar 2010