Eiter, T.; Kiesel, R. On the Complexity of Sum-of-Products Problems over Semirings. AAAI 2021, 35, 6304-6311.