Evgueni S. Petrov. Numeric Constraint Resolution in Logic Programming Based on Subdefinite Models. In Tatyana M. Yakhno, editor, Advances in Information Systems, First International Conference, ADVIS 2000, Izmir, Turkey, 25-27 October 2000, Proceedings. Volume 1909 of Lecture Notes in Computer Science, pages 180-190, Springer, 2000. [doi]
Abstract is missing.