Theoretical Study of Symmetries in Propositional Calculus and Applications.

Belaid Benhamou, Lakhdar Sais

Browse the full CADE paper archive.