Title: Reasoning and Unification over Conceptual Graphs
Subjects: Artificial intelligence, Conceptual structures (Information theory), Graph theory, Knowledge representation (Information theory), Knowledge representation (information theory)