For citations:

Kosolapov Yu.V. On Simplifying Expressions with Mixed Boolean-Arithmetic. Modeling and Analysis of Information Systems. 2023;30(2):140-159. (In Russ.) https://doi.org/10.18255/1818-1015-2023-2-140-159. EDN: KBZXLJ