Unions of Equational Monadic Theories.

Published in: RTA (2006)

Keyphrases

equational theories
theorem proving
deductive databases
information systems
domain theory
cognitive psychology
datalog programs
xml documents
special case
description logics
np complete
theoretical framework
theorem prover
case study
tree patterns
datalog queries
knowledge base