Godlevsky, A., & Potienko, S. (2026). Backward transformation of formulas in symbolic modeling: From the result to the source formula. PROBLEMS IN PROGRAMMING.
Chicago Style (17th ed.) CitationGodlevsky, A.B, and S.V Potienko. Backward Transformation of Formulas in Symbolic Modeling: From the Result to the Source Formula. PROBLEMS IN PROGRAMMING, 2026.
MLA (8th ed.) CitationGodlevsky, A.B, and S.V Potienko. Backward Transformation of Formulas in Symbolic Modeling: From the Result to the Source Formula. PROBLEMS IN PROGRAMMING, 2026.
Warning: These citations may not always be 100% accurate.