UNIFICATION-DPAIRS : CONTEXT

UNIFICATION-DPAIRS is a context.
Disagreement pairs in the unification problems.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage