TY - RPRT TI - Applications of the analogy between formulas and exponential polynomials to equivalence and normal forms AU - Danko Ilik PY - 2019 UR - https://arxiv.org/abs/1905.07621 ID - 1905.07621 ER -