ChemAlgebra: Algebraic Reasoning on Chemical Reactions | IEEE Conference Publication | IEEE Xplore