Forall links have the property that no atom containing the eigenvariable of a link can every be identified with a node which dominates the forall link of this variable. Adding this constraint would reduce the search space and make testing the forall contraction less complicated.
Forall links have the property that no atom containing the eigenvariable of a link can every be identified with a node which dominates the forall link of this variable. Adding this constraint would reduce the search space and make testing the forall contraction less complicated.