Bharat Jayaraman;Kyonghee Moon
-;-
Sets and constraint logic programming
ACM Transactions on Programming Languages and Systems (TOPLAS)