An algebraic approach to multi−sorted constraints

التفاصيل البيبلوغرافية
المؤلفون الرئيسيون: Bulatov, A, Jeavons, P
التنسيق: Conference item
منشور في: 2003