A New Method for Computing Stable Models in Logic Programming.

Tarek Khaled, Belaid Benhamou, Pierre Siegel

Browse the full ICTAI paper archive.