An algebraic approach to multi−sorted constraints

書目詳細資料
Main Authors: Bulatov, A, Jeavons, P
格式: Conference item
出版: 2003