Mandrali Eleni; Rahonis George: Weighted first-order logics over semirings. In: Acta cybernetica, (22) 2. pp. 435-483. (2015)