Emptiness problems for integer circuits
D. Barth, M. Beck, T. Dose, Ch. Glaßer, L. Michler, M.P. Technau, Theoretical Computer Science 824–825 (2020) 11–35.