论文信息 - Equivalent Transformation of Member Constraints on Interval-Variable Domain - 字舞流文

Equivalent Transformation of Member Constraints on Interval-Variable Domain

Hidekatsu Koike | Kiyoshi Akama | Yoshinori Shigeta | Hiroshi Mabuchi

[1] Alberto Pettorossi,et al. Transformation of Logic Programs: Foundations and Techniques , 1994, J. Log. Program..