Theorem Proving Using Graph Operations in the Conceptual Graph Formalism (1998)

by E Salvat
Venue:In Proc. of ECAI'98