Үүнийг мессежээр илгээх: Constraint solving over multi-valued logics :