Short Single-Fault Tests for Circuits in the Zhegalkin Basis with Arbitrary Stuck-At Faults of Gates - Popkov, K. A. (Mathematical Notes, 2025)