Aus International Center for Computational Logic
This is the "number" of a technical report or other document. It can be any string.
A Description Logic with Transitive and Converse Roles, Role Hierarchies and Qualifying Number Restrictions +
A Graph-Theoretic Generalization of the Least Common Subsumer and the Most Specific Concept in the Description Logic EL +
A New Approach for Combining Decision Procedures for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method +
A New Combination Procedure for the Word Problem that Generalizes Fusion Decidability Results in Modal Logics +