On Skolemization in constrained logics Hans-Jürgen BürckertBernhard HollunderArmin Laux OriginalPaper Pages: 95 - 131
Consistency checking reduced to satisfiability of concepts in terminological systems Bernhard Hollunder OriginalPaper Pages: 133 - 157
Using automata theory for characterizing the semantics of terminological cycles Franz Baader OriginalPaper Pages: 175 - 219
Using tactics to reformulate formulae for resolution theorem proving Manfred KerberAxel Präcklein OriginalPaper Pages: 221 - 241
Unification in sort theories and its applications Christoph Weidenbach OriginalPaper Pages: 261 - 293