Unification Revisited.

Jean-Louis Lassez Michael J. Maher Kim Marriott

Published in: Foundations of Logic and Functional Programming (1986)

Keyphrases

higher order
domain knowledge
general purpose
automated theorem proving
equational theories
artificial intelligence
video sequences
search algorithm
object oriented
np complete
theorem proving