Hiroshi Mabuchi Kiyoshi Akama Hidekatsu Koike Takahiko Ishikawa Correctness Proof for Equivalent Transformation of Equality Constraints on an Interval-Variable Domain. 627-636 2005 conf/icai/2005-2 IC-AI db/conf/icai/icai2005-2.html#MabuchiAKI05