Kannan Govindarajan Bharat Jayaraman Surya Mantha Relaxation in Constraint Logic Languages. 637 1995 ILPS db/conf/slp/slp95.html#GovindarajanJM95