この資料をSMS送信: An algebraic approach to multi-sorted constraints