Ken McAloon Constraint-Based Programming. 69 1996 28 ACM Comput. Surv. 4es db/journals/csur/csur28.html#McAloon96