2003 (1)
Semantic matching. Giunchiglia, F.; and Shvaiko, P. Technical Report Vol. 71, CEUR - WS, 2003.
Semantic matching [pdf]Paper   bibtex
  1994 (1)
Reconstructing Proofs at the Assertion Level. Huang, X. In Proceedings of CADE-94, of LNAI-814, pages 738--752, 1994. Springer
bibtex