Invertible substitutions in logics with algebraic semantics equivalent to Product algebras | IEEE Conference Publication | IEEE Xplore