SHOW-DPAIRSET : UNIFOP

SHOW-DPAIRSET is an unification command.
Show a disagreement set.
SHOW-DPAIRSET is a printing command.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage