Rule-Based Mechanism for Constraint Checking in Logic Programs.

Elmar Eder, Yan Liu

Browse the full AIMSA paper archive.