Propositional Arguments - University of Oxford

Any unselected columns are deactivated, which may be achieved simply by setting a flag associated with each column; when set, the flag disallows that column from participating in future derivations. Derivations obtained after convergence must also be deactivated by flagging, and may be located by following links back to the deactivated column(s ... ................
................