Hiroshi Mabuchi, Kiyoshi Akama, Hidekatsu Koike, Takahiko Ishikawa. Correctness Proof for Equivalent Transformation of Equality Constraints on an Interval-Variable Domain. In Hamid R. Arabnia, Rose Joshua, editors, Proceedings of the 2005 International Conference on Artificial Intelligence, ICAI 2005, Las Vegas, Nevada, USA, June 27-30, 2005, Volume 2. pages 627-636, CSREA Press, 2005.
Abstract is missing.