-Unification Problem.

Jörg H. Siekmann Peter Szabó

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

Keyphrases

equational theories
higher order
theorem proving
databases
artificial intelligence
orders of magnitude