Matrosova Anzhela Yu., Savenkova Marina M. «Partial equivalence checking for combinational circuits» // Tomsk State University Journal of Control and Computer Science 2025. №71 C.130-139
Sukhoruchenko Ksenia A., Savenkova Marina M., Provkin Viktor A., Matrosova Anzhela Yu. «Testing of multi-output combinational circuits when reactions on test patterns are known» // Tomsk State University Journal of Control and Computer Science 2024. №69 C.134-143
