On Equational Theories, Unification, and (Un)Decidability.

Hans-Jürgen Bürckert Alexander Herold Manfred Schmidt-Schauß

Published in: J. Symb. Comput. (1989)

Keyphrases

equational theories
description logics
theorem proving
decision procedures
query answering
function symbols
domain knowledge
data sources