Projection: A Unification Procedure for Tableaux in Conceptual Graphs.

Gwen Kerdiles

Browse the full TABLEAUX paper archive.