Mandrali, E., & Rahonis, G. (2015). Weighted first-order logics over semirings. Acta Cybernetica, 22(2), 435-483. https://doi.org/10.14232/actacyb.22.2.2015.13