Experiments for integration CLP and abduction (1999)

by M Denecker, B Van Nuffelen
Venue:Monfroy and F. Rossi (eds), Proceedings of the 1999 ERCIM/COMPULOG workshop on Constraints