Syntactic Isomorphism of CNF Boolean Formulas is Graph Isomorphism Complete. - Giorgio Ausiello; Francesco Cristiano; Luigi Laura (Electron. Colloquium Comput. Complex., 2012)

Syntactic Isomorphism of CNF Boolean Formulas is Graph Isomorphism Complete. - Giorgio Ausiello; Francesco Cristiano; Paolo Fantozzi; Luigi Laura (ICTCS, 2020)