Resolution with Symmetry Rule Applied to Linear Equations.

Pascal Schweitzer, Constantin Seebach

Browse the full STACS paper archive.