The constraint logic programming language CHIP (1988)

by M Dincbas, P Van Hentenryck, H Simonis, A Aggoun, T Graf, F Berthier