MT94-12 : MTREEOPMT94-12 is a matingstree command.
Least Branching Search: In each leaf node, take the current
obligation and find a literal that can be mated, but with as few
mates as possible. Add all of these mates as sons to this node.
Repeat until a closed leaf is generated.
This search is probably not complete.
The command format for MT94-12 is:
TPS documentation homepage