Tractable and Decidable Fragments of Conceptual Graphs.

Franz Baader, Ralf Molitor, Stephan Tobies

Browse the full ICCS paper archive.