An Abstract View of Sorted Unification.

Alan M. Frisch Anthony G. Cohn

Published in: CADE (1992)

Keyphrases

low level
higher order
decision trees
multiple views
knowledge representation
website
object oriented
higher level
theorem proving