Carlson, B.; Carlsson, M.; and D. Diaz. Entailment of Finite Domain Constraints"

[Proceedings] (1994) Proceedings of the Eleventh International Conference of Logic Programming, MIT Press Series in Logic Programming, 1994  

Languages mentioned AKL {1994} Agents Kernel Language