A minimal extension of the WAM for CLP(FD (1993)

by D Diaz, P Codognet
Venue:In Proceedings of the Tenth International Conference on Logic Programming (ICLP93