E. Mandrali and G. Rahonis, “Weighted first-order logics over semirings”, Acta Cybern, vol. 22, no. 2, pp. 435-483, Jan. 2015.