Decidable Reasoning in Terminological Knowledge Representation Systems. - Martin Buchheit; Francesco M. Donini; Andrea Schaerf (J. Artif. Intell. Res., 1993)

Refining the Structure of Terminological Systems: Terminology = Schema + Views. - Martin Buchheit; Werner Nutt; Francesco M. Donini; Andrea Schaerf (AAAI, 1994)

Reasoning about Structured Objects: Knowledge Representation Meets Databases - Overview. - Franz Baader; Martin Buchheit; Manfred A. Jeusfeld; Werner Nutt (KRDB, 1994)

Terminological Systems Revisited: Terminology = Schema + Views. - Martin Buchheit; Francesco M. Donini; Werner Nutt; Andrea Schaerf (KRDB, 1994)

Subsumption between queries to object-oriented databases. - Martin Buchheit; Manfred A. Jeusfeld; Werner Nutt; Martin Staudt 001 (Inf. Syst., 1994)

Task Acquisition with a Description Logic Reasoner. - Martin Buchheit; Hans-Jürgen Bürckert; Bernhard Hollunder; Armin Laux; Werner Nutt; Marek Wójcik (KI, 1995)

Overview: KRDB'95. - Franz Baader; Martin Buchheit; Manfred A. Jeusfeld; Werner Nutt (KRDB, 1995)

Reasoning about structured objects: Knowledge representation meets databases. - Franz Baader; Martin Buchheit; Manfred A. Jeusfeld; Werner Nutt (Knowl. Eng. Rev., 1995)

Terminological formalisms in knowledge representation and database systems. - Martin Buchheit (1995)

Cardinality Restrictions on Concepts. - Franz Baader; Martin Buchheit; Bernhard Hollunder (Artif. Intell., 1996)

A Refined Architecture for Terminological Systems: Terminology = Schema + Views. - Martin Buchheit; Francesco M. Donini; Werner Nutt; Andrea Schaerf (Artif. Intell., 1998)

Tool Chains in Agile ALM Environments: A Short Introduction. - Saed Imran; Martin Buchheit; Bernhard Hollunder; Ulf Schreier (OTM Workshops, 2015)