An Experimental CLP Platform for Integrity Constraints and Abduction.

Slim Abdennadher, Henning Christiansen

Browse the full FQAS paper archive.