Projection: A Unification Procedure for Tableaux in Conceptual Graphs (1997)

by G Kerdiles