SYM-1, a program that detects symmetry of variable-valued logic functionsGerald M. Jensen · First published 1975Open the Tome