Pascal Van Hentenryck Mehmet Dincbas Domains in Logic Programming. 759-765 1986 AAAI db/conf/aaai/aaai86-2.html#HentenryckD86